Search results for "Uniformization"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
75	Miao Jin, Feng Luo 0002, Shing-Tung Yau, Xianfeng Gu	Computing geodesic spectra of surfaces.	Symposium on Solid and Physical Modeling	2007	DBLP DOI BibTeX RDF	Ricci flow, conformal structure, geodesic spectrum, uniformization, surface classification
75	Manju Manjunathaiah, Graham M. Megson, Sanjay V. Rajopadhye, Tanguy Risset	Uniformization of Affine Dependance Programs for Parallel Embedded System Design.	ICPP	2001	DBLP DOI BibTeX RDF
57	Wei Zeng 0002, Ying He 0001, Jiazhi Xia, Xianfeng Gu, Hong Qin 0001	C∞ smooth freeform surfaces over hyperbolic domains.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	hyperbolic structure, uniformization metric, universal covering space, manifold, curvature flow
57	Miao Jin, Feng Luo 0002, Xianfeng Gu	Computing surface hyperbolic structure and real projective structure.	Symposium on Solid and Physical Modeling	2006	DBLP DOI BibTeX RDF	affine geometry, hyperbolic structure, real projective geometry, real projective structure, ricci flow, riemann uniformization, hyperbolic geometry, geometric structures
57	Philip Heidelberger, Perwez Shahabuddin, Victor F. Nicola	Bounded Relative Error in Estimating Transient Measures of Highly Dependable Non-Markovian Systems.	ACM Trans. Model. Comput. Simul.	1994	DBLP DOI BibTeX RDF	highly-dependable systems, non-Markovian systems, transient measures, uniformization-based simulation, importance sampling, variance reduction
52	Junjie Wu 0002, Hui Xiong 0001, Jian Chen 0016, Wenjun Zhou 0001	A Generalization of Proximity Functions for K-Means.	ICDM	2007	DBLP DOI BibTeX RDF
45	Philip Heidelberger, David M. Nicol	Conservative Parallel Simulation of Continuous Time Markov Chains Using Uniformization.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	queueing networkmodels, conservative parallelsimulation algorithm, Intel iPSC/2 hypercube, Markovprocesses, parallel algorithms, parallel algorithms, discrete event simulation, queueing theory, communications systems, distributed computing systems, uniformization, continuous time Markov chains
40	Wei Zeng 0002, Xiaotian Yin, Min Zhang, Feng Luo 0002, Xianfeng Gu	Generalized Koebe's method for conformal mapping multiply connected domains.	Symposium on Solid and Physical Modeling	2009	DBLP DOI BibTeX RDF	differential form, holomorphic, multiply connected domain, conformal, uniformization, circular
40	Robert Rettinger	Computable Riemann Surfaces.	CiE	2007	DBLP DOI BibTeX RDF	computable Riemann surface, computable uniformization
40	Hertong Song, Chokchai Leangsuksun, Raja Nassar	A light-weight solution for large sparse Markov processes.	ACM Southeast Regional Conference (1)	2005	DBLP DOI BibTeX RDF	large sparse Markov process, uniformization, continuous time Markov chain
40	Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen	Model-Checking Algorithms for Continuous-Time Markov Chains.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	model checking, temporal logic, transient analysis, uniformization, Continuous-time Markov chain, steady-state analysis, lumping
40	Zhen Liu 0001	Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	mean token number, linear programming, throughput, uniformization, performance bound, Stochastic timed Petri net
40	Darryl Wayne Dormuth, Attahiru Sule Alfa	Two finite-difference methods for solving MAP(t)/PH(t)/1/K queueing models.	Queueing Syst. Theory Appl.	1997	DBLP DOI BibTeX RDF	transient solutions, uniformization method, Markov arrival process, time-varying queueing parameters, finite-difference, phase-type distribution, waiting time distribution
40	Zhen Liu 0001	Performance Bounds for Stochastic Timed Petri Nets.	Application and Theory of Petri Nets	1995	DBLP DOI BibTeX RDF	mean token number, linear programming, throughput, uniformization, performance bound, Stochastic timed Petri net
40	Alexander Rabinovich, Amit Shomrat	Selection and Uniformization Problems in the Monadic Theory of Ordinals: A Survey.	Pillars of Computer Science	2008	DBLP DOI BibTeX RDF
40	Anne Remke, Boudewijn R. Haverkort	A Uniformization-Based Algorithm for Model Checking the CSL Until Operator on Labeled Queueing Networks.	FORMATS	2008	DBLP DOI BibTeX RDF
40	Haïscam Abdallah, Moulaye Hamza	Sensitivity Analysis of the Expected Accumulated Reward Using Uniformization and IRK3 Methods.	NAA	2000	DBLP DOI BibTeX RDF
40	Ten H. Tzen, Lionel M. Ni	Dependence Uniformization: A Loop Parallelization Technique.	IEEE Trans. Parallel Distributed Syst.	1993	DBLP DOI BibTeX RDF	data dependence uniformisation, doubly nested loop, irregulardependence constraints, parallel programming, loop parallelization, parallelalgorithms, synchronization method, dependence constraints
40	David M. Nicol, Philip Heidelberger	Parallel Simulation of Markovian Queueing Networks Using Adaptive Uniformization.	SIGMETRICS	1993	DBLP DOI BibTeX RDF
35	Ken'ichi Kawanishi	On the Counting Process for a Class of Markovian Arrival Processes with an Application to a Queueing System.	Queueing Syst. Theory Appl.	2005	DBLP DOI BibTeX RDF	counting process, explicit solution, Baker-Hausdorff lemma, automatic call distribution, Markovian arrival process, Lie algebra
23	Martin Schwarick, Monika Heiner, Christian Rohr	MARCIE - Model Checking and Reachability Analysis Done EffiCIEntly.	QEST	2011	DBLP DOI BibTeX RDF	Interval Decision Diagram, Continuous Stochastic Logic, Fast Adaptive Uniformization, Model Checking, Stochastic Simulation, Continuous Time Markov Chain, Generalized Stochastic Petri Net, Rewards, Computation Tree Logic
23	Víctor Suñé, Juan A. Carrasco, Hédi Nabli, Bruno Sericola	Comment on "Performability Analysis: A New Algorithm".	IEEE Trans. Computers	2010	DBLP DOI BibTeX RDF	Fault tolerance, performability, performance, reliability, Markov processes, uniformization, repairable systems
23	Wei Zeng 0002, Feng Luo 0002, Shing-Tung Yau, Xianfeng David Gu	Surface Quasi-Conformal Mapping by Solving Beltrami Equations.	IMA Conference on the Mathematics of Surfaces	2009	DBLP DOI BibTeX RDF	Quasic-Conformal Map, Beltrami Equation, Uniformization, Riemannian Metric
23	Hiroyuki Okamura, Yuya Kamahara, Tadashi Dohi	Estimating Markov-modulated compound Poisson processes.	VALUETOOLS	2007	DBLP DOI BibTeX RDF	Markov-modulated compound Poisson process, compound Markovian arrival process, EM algorithm, maximum likelihood estimation, uniformization
23	Hédi Nabli	Transient and Asymptotic Analysis of General Markov Fluid Models.	Queueing Syst. Theory Appl.	2004	DBLP DOI BibTeX RDF	transient and asymptotic distribution, Markov process, uniformization, stochastic fluid model
23	Hédi Nabli, Bruno Sericola	Performability Analysis: A New Algorithm.	IEEE Trans. Computers	1996	DBLP DOI BibTeX RDF	Fault tolerance, performability, performance, reliability, Markov processes, uniformization, repairable systems
22	Hongrui Chen, Lexing Ying	Convergence Analysis of Discrete Diffusion Model: Exact Implementation through Uniformization.	CoRR	2024	DBLP DOI BibTeX RDF
22	William Chan 0002, Stephen Jackson, Nam Trang	Countable Length everywhere Club Uniformization.	J. Symb. Log.	2023	DBLP DOI BibTeX RDF
22	Shabnam Mahjoub, Mehdi Golsorkhtabaramiri, Seyed Sadegh Salehi Amiri	Optimal uniformization for non-uniform two-level loops using a hybrid method.	J. Supercomput.	2023	DBLP DOI BibTeX RDF
22	Guangyu Guo, Longfei Han, Le Wang 0003, Dingwen Zhang, Junwei Han	Semantic-aware knowledge distillation with parameter-free feature uniformization.	Vis. Intell.	2023	DBLP DOI BibTeX RDF
22	Ziqiao Ao, Jinglai Li	Entropy estimation via uniformization.	Artif. Intell.	2023	DBLP DOI BibTeX RDF
22	Luke Cooper, Jeremy G. Sumner	Uniformization Stable Markov Models and Their Jordan Algebraic Structure.	SIAM J. Matrix Anal. Appl.	2023	DBLP DOI BibTeX RDF
22	Ziqiao Ao, Jinglai Li	Entropy Estimation via Uniformization.	CoRR	2023	DBLP DOI BibTeX RDF
22	Stefan Hoffelner	Forcing the Π31-reduction property and a failure of Π31-uniformization.	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
22	Arnaud Dapogny, Gauthier Tallec, Jules Bonnard, Edouard Yvinec, Kévin Bailly	RULe: Relocalization-Uniformization-Landmark Estimation Network for Real-Time Face Alignment in Degraded Conditions.	FG	2023	DBLP DOI BibTeX RDF
22	George Jeffreys, Siu-Cheong Lau	Noncommutative Geometry of Computational Models and Uniformization for Framed Quiver Varieties.	CoRR	2022	DBLP BibTeX RDF
22	Alexander Rabinovich	On Uniformization in the Full Binary Tree.	MFCS	2022	DBLP DOI BibTeX RDF
22	Kevin Rupp, Rudolf Schill, Jonas Süskind, Peter Georg, Maren Klever, Andreas Lösch, Lars Grasedyck, Tilo Wettig, Rainer Spang	Differentiated uniformization: A new method for inferring Markov chains on combinatorial state spaces including stochastic epidemic models.	CoRR	2021	DBLP BibTeX RDF
22	Christof Löding, Sarah Winter	Resynchronized Uniformization and Definability Problems for Rational Relations.	CoRR	2021	DBLP BibTeX RDF
22	Erika Patricia Dantas de Oliveira Guazzi, Reginaldo Palazzo Júnior	Uniformization of hyperelliptic curves as a systematic approach to establishing decision regions of hyperbolic signal sets.	Comput. Appl. Math.	2021	DBLP DOI BibTeX RDF
22	Edgar Batista, Agusti Solanas	A uniformization-based approach to preserve individuals' privacy during process mining analyses.	Peer-to-Peer Netw. Appl.	2021	DBLP DOI BibTeX RDF
22	Shogo Takaoka, Takuya Kitamura, Aiga Suzuki, Masahiro Murakawa	Initialization Method of Batch Uniformization Auto Encoder by Principal Component Analysis.	SSCI	2021	DBLP DOI BibTeX RDF
22	Daniel de Oliveira Cunha, Edmar A. Silva, Jorge Albuquerque Lambert, Rafael O. Ribeiro	Peritus Framework: Towards multimedia evidence analysis uniformization in brazilian distributed forensic model.	Digit. Investig.	2020	DBLP DOI BibTeX RDF
22	Erika Patricia Dantas de Oliveira Guazzi, Reginaldo Palazzo Júnior	Construction of Hyperbolic Signal Sets from the Uniformization of Hyperelliptic Curves.	CoRR	2020	DBLP BibTeX RDF
22	Maciej Rafal Burak, Przemyslaw Korytkowski	Inhomogeneous CTMC Birth-and-Death Models Solved by Uniformization with Steady-State Detection.	ACM Trans. Model. Comput. Simul.	2020	DBLP DOI BibTeX RDF
22	Boris Springborn	Ideal Hyperbolic Polyhedra and Discrete Uniformization.	Discret. Comput. Geom.	2020	DBLP DOI BibTeX RDF
22	Stéphane Le Roux 0001	Time-Aware Uniformization of Winning Strategies.	CiE	2020	DBLP DOI BibTeX RDF
22	Shirin Baghoolizadeh, Ali Movaghar 0001, Negin Majidi	A uniformization-based algorithm for continuous-time stochastic games model checking.	Theor. Comput. Sci.	2019	DBLP DOI BibTeX RDF
22	Yuma Koizumi, Shoichiro Saito, Masataka Yamaguchi, Shin Murata, Noboru Harada	Batch Uniformization for Minimizing Maximum Anomaly Score of DNN-based Anomaly Detection in Sounds.	CoRR	2019	DBLP BibTeX RDF
22	Stéphane Le Roux 0001	Time-aware uniformization of winning strategies.	CoRR	2019	DBLP BibTeX RDF
22	Xing-Ji Chen, Ching-Hsing Luo, Min-Hung Chen, Xiang Zhou	Combination of "quadratic adaptive algorithm" and "hybrid operator splitting" or uniformization algorithms for stability against acceleration in the Markov model of sodium ion channels in the ventricular cell model.	Medical Biol. Eng. Comput.	2019	DBLP DOI BibTeX RDF
22	Junli Zhao, Xin Qi 0011, Chengfeng Wen, Na Lei, Xianfeng Gu	Automatic and Robust Skull Registration Based on Discrete Uniformization.	ICCV	2019	DBLP DOI BibTeX RDF
22	Ricardo J. B. de V. M. Cavalcanti, Danielly C. M. Costa, Mohamad S. A. Ali, Josiel P. P. Oliveira, Diego R. C. Silva, Marcelo B. Nogueira, Marconi C. Rodrigues	A Framework for Uniformization of Security, Network and Management in IoT Applications.	MetroInd4.0&IoT	2019	DBLP DOI BibTeX RDF
22	Yuma Koizumi, Shoichiro Saito, Masataka Yamaguchi, Shin Murata, Noboru Harada	Batch Uniformization for Minimizing Maximum Anomaly Score of Dnn-Based Anomaly Detection in Sounds.	WASPAA	2019	DBLP DOI BibTeX RDF
22	Dabae Kim, Sarthak Pathak, Alessandro Moro, Ren Komatsu, Atsushi Yamashita, Hajime Asama	E-CNN: Accurate Spherical Camera Rotation Estimation via Uniformization of Distorted Optical Flow Fields.	ICASSP	2019	DBLP DOI BibTeX RDF
22	Benjamin Legros, Oualid Jouini, Ger Koole	A Uniformization Approach for the Dynamic Control of Queueing Systems with Abandonments.	Oper. Res.	2018	DBLP DOI BibTeX RDF
22	Sarah Winter	Uniformization Problems for Synchronizations of Automatic Relations on Words.	CoRR	2018	DBLP BibTeX RDF
22	Nico M. van Dijk, S. P. J. van Brummelen, Richard J. Boucherie	Uniformization: Basics, extensions and applications.	Perform. Evaluation	2018	DBLP DOI BibTeX RDF
22	Chuanjiang Luo, Xiaoyin Ge, Yusu Wang 0001	Uniformization and Density Adaptation for Point Cloud Data Via Graph Laplacian.	Comput. Graph. Forum	2018	DBLP DOI BibTeX RDF
22	Oleksii Sidorov	Novel Approach to Uniformization of a Color Space via Generic Deep Learning-Based Transformation.	CVCS	2018	DBLP DOI BibTeX RDF
22	Beata Bylina, Jaroslaw Bylina, Marek Karwacki	An effective sparse storage scheme for GPU-enabled uniformization method.	FedCSIS	2018	DBLP DOI BibTeX RDF
22	Sarah Winter	Uniformization Problems for Synchronizations of Automatic Relations on Words.	ICALP	2018	DBLP DOI BibTeX RDF
22	Anne Morvan, Antoine Souloumiac, Cédric Gouy-Pailler, Jamal Atif	Streaming Binary Sketching Based on Subspace Tracking and Diagonal Uniformization.	ICASSP	2018	DBLP DOI BibTeX RDF
22	Vincent Michielini	Uniformization Problem for Variants of First Order Logic over Finite Words.	DLT	2018	DBLP DOI BibTeX RDF
22	Maciej Rafal Burak	Efficiency Improvements to Uniformization for Markovian Birth-and-Death Models.	MMAR	2018	DBLP DOI BibTeX RDF
22	Anne Morvan, Antoine Souloumiac, Cédric Gouy-Pailler, Jamal Atif	Streaming Binary Sketching based on Subspace Tracking and Diagonal Uniformization.	CoRR	2017	DBLP BibTeX RDF
22	Alexander I. Bobenko, Nikolay Dimitrov, Stefan Sechelmann	Discrete Uniformization of Polyhedral Surfaces with Non-positive Curvature and Branched Covers over the Sphere via Hyper-ideal Circle Patterns.	Discret. Comput. Geom.	2017	DBLP DOI BibTeX RDF
22	Shabnam Mahjoub, Hakimeh Vojoudi	The UTFLA: uniformization of non-uniform iteration spaces in two-level perfect nested loops using SFLA.	J. Supercomput.	2016	DBLP DOI BibTeX RDF
22	Takayuki Kihara	Borel-piecewise continuous reducibility for uniformization problems.	Log. Methods Comput. Sci.	2016	DBLP DOI BibTeX RDF
22	Vladimir Kanovei, Vassily A. Lyubetsky	Counterexamples to countable-section uniformization and separation.	Ann. Pure Appl. Log.	2016	DBLP DOI BibTeX RDF
22	Christof Löding, Sarah Winter	Uniformization Problems for Tree-Automatic Relations and Top-Down Tree Transducers.	MFCS	2016	DBLP DOI BibTeX RDF
22	Thibaud Nesztler, Don Kasper, Michael Georgescu, Sophie Loire, Igor Mezic	Uniformization, organization, association and use of metadata from multiple content providers and manufacturers: A close look at the Building Automation System (BAS) sector.	IEEE BigData	2016	DBLP DOI BibTeX RDF
22	Tsz Wai Wong, Hongkai Zhao	Computing Surface Uniformization Using Discrete Beltrami Flow.	SIAM J. Sci. Comput.	2015	DBLP DOI BibTeX RDF
22	Martin Deraux	On Spherical CR Uniformization of 3-Manifolds.	Exp. Math.	2015	DBLP DOI BibTeX RDF
22	Alexander I. Bobenko, Nikolay Dimitrov, Stefan Sechelmann	Discrete uniformization of finite branched covers over the Riemann sphere via hyper-ideal circle patterns.	CoRR	2015	DBLP BibTeX RDF
22	Frits Dannenberg, Ernst Moritz Hahn, Marta Z. Kwiatkowska	Computing Cumulative Rewards Using Fast Adaptive Uniformization.	ACM Trans. Model. Comput. Simul.	2015	DBLP DOI BibTeX RDF
22	Johnny Moreira Gomes, Adriele Alvarenga, Ricardo Silva Campos, Bernardo Martins Rocha, Ana Paula Couto da Silva, Rodrigo Weber dos Santos	Uniformization Method for Solving Cardiac Electrophysiology Models Based on the Markov-Chain Formulation.	IEEE Trans. Biomed. Eng.	2015	DBLP DOI BibTeX RDF
22	Alexander I. Aptekarev, D. N. Toulyakov, Walter Van Assche	Hyperelliptic uniformization of algebraic curves of the third order.	J. Comput. Appl. Math.	2015	DBLP DOI BibTeX RDF
22	Maciej Rafal Burak	Multi-step Uniformization with Steady-State Detection in Nonstationary M/M/s Queuing Systems.	CoRR	2014	DBLP BibTeX RDF
22	Hiroyuki Okamura, Yusuke Kunimoto, Tadashi Dohi	Coarse-Grained Parallel Uniformization for Continuous-Time Markov Chains.	PRDC	2014	DBLP DOI BibTeX RDF
22	Yaron Lipman	Approximation of Polyhedral Surface Uniformization	CoRR	2013	DBLP BibTeX RDF
22	Nigel G. Bean, Malgorzata M. O'Reilly	Spatially-coherent uniformization of a stochastic fluid model to a Quasi-Birth-and-Death process.	Perform. Evaluation	2013	DBLP DOI BibTeX RDF
22	Miao Jin, Ning Ding 0005, Yang Yang	Computing shortest homotopic cycles on polyhedral surfaces with hyperbolic uniformization metric.	Comput. Aided Des.	2013	DBLP DOI BibTeX RDF
22	Dmitry Chistikov 0001, Rupak Majumdar	A Uniformization Theorem for Nested Word to Word Transductions.	CIAA	2013	DBLP DOI BibTeX RDF
22	Llorenç Cerdà-Alabern	Closed form transient solution of continuous time Markov chains through uniformization.	VALUETOOLS	2013	DBLP DOI BibTeX RDF
22	Marcin Bilkowski, Michal Skrzypczak	Unambiguity and uniformization problems on infinite trees.	CSL	2013	DBLP DOI BibTeX RDF
22	Marek Karwacki, Beata Bylina, Jaroslaw Bylina	Multi-GPU Implementation of the Uniformization Method for Solving Markov Models.	FedCSIS	2012	DBLP BibTeX RDF
22	Beata Bylina, Marek Karwacki, Jaroslaw Bylina	A CPU-GPU Hybrid Approach to the Uniformization Method for Solving Markovian Models - A Case Study of a Wireless Network.	CN	2012	DBLP DOI BibTeX RDF
22	Juliano B. Lima, Ricardo M. Campello de Souza	Histogram Uniformization for Digital Image Encryption.	SIBGRAPI	2012	DBLP DOI BibTeX RDF
22	Robert Rettinger	Compactness and the Effectivity of Uniformization.	CiE	2012	DBLP DOI BibTeX RDF
22	Roger B. Sidje	Inexact uniformization and GMRES methods for large Markov chains.	Numer. Linear Algebra Appl.	2011	DBLP DOI BibTeX RDF
22	Aleksandr Andreychenko, Pepijn Crouzen, Verena Wolf	On-the-fly Uniformization of Time-Inhomogeneous Infinite Markov Population Models	QAPL	2011	DBLP BibTeX RDF
22	Javier Gutiérrez García, Iraide Mardones-Pérez, Jorge Picado, María Angeles de Prada-Vicente	On the uniformization of lattice-valued frames.	Fuzzy Sets Syst.	2011	DBLP DOI BibTeX RDF
22	Wolfgang Thomas	Infinite Games and Uniformization.	ICLA	2011	DBLP DOI BibTeX RDF
22	Wei Zeng 0002, Rui Shi, Xianfeng David Gu	Global Surface Remeshing Using Symmetric Delaunay Triangulation in Uniformization Spaces.	ISVD	2011	DBLP DOI BibTeX RDF
22	Yonathan Aflalo, Ron Kimmel	Measuring Geodesic Distances via the Uniformization Theorem.	SSVM	2011	DBLP DOI BibTeX RDF
22	Shabnam Mahjoub, Shahriar Lotfi	The UTLEA: Uniformization of Non-uniform Iteration Spaces in Three-Level Perfect Nested Loops Using an Evolutionary Algorithm.	ICSECS (2)	2011	DBLP DOI BibTeX RDF
22	Jingwei Zhang 0002, Layne T. Watson, Yang Cao 0001	A modified uniformization method for the solution of the chemical master equation.	Comput. Math. Appl.	2010	DBLP DOI BibTeX RDF
22	Jonathan A. Kelner, James R. Lee, Gregory N. Price, Shang-Hua Teng	Metric uniformization and spectral bounds for graphs	CoRR	2010	DBLP BibTeX RDF
22	Mohammed M. Kadhum, Suhaidi Hassan	The Uniformization Process of the Fast Congestion Notification (FN)	CoRR	2009	DBLP BibTeX RDF