Search results for "TAU"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Kevin A. Huck, Wyatt Spear, Allen D. Malony, Sameer Shende, Alan Morris	Parametric Studies in Eclipse with TAU and PerfExplorer.	Euro-Par Workshops	2008	DBLP DOI BibTeX RDF	performance, parallel, Eclipse, experiment management
17	Uri Avni, Jacob Goldberger, Hayit Greenspan	TAU MIPLAB at ImageClef 2008.	CLEF (Working Notes)	2008	DBLP BibTeX RDF
17	Olgierd Hryniewicz, Anna Szediw	Fuzzy Kendall tau Statistic for Autocorrelated Data.	SMPS	2008	DBLP DOI BibTeX RDF	Kendall ?, Time series, Fuzzy data
17	Brian K. Hornbuckle, Tracy L. Rowlandson	Evaluating the First-Order Tau-Omega Model of Terrestrial Microwave Emission.	IGARSS (1)	2008	DBLP DOI BibTeX RDF
17	James A. Hunt	Robot kinematics and the Gantry-Tau parallel machine.	Ind. Robot	2007	DBLP DOI BibTeX RDF
17	Marios Charalambides, Fabian Waleffe	Spectrum of the Jacobi Tau Approximation for the Second Derivative Operator.	SIAM J. Numer. Anal.	2007	DBLP DOI BibTeX RDF
17	David Beaudoin, Thierry Duchesne, Christian Genest	Improving the estimation of Kendall's tau when censoring affects only one of the variables.	Comput. Stat. Data Anal.	2007	DBLP DOI BibTeX RDF
17	Matthew K. Davis, Gemai Chen	Graphing Kendall's tau.	Comput. Stat. Data Anal.	2007	DBLP DOI BibTeX RDF
17	Luis F. Cordero, René Escalante	Segmented Tau approximation for a parametric nonlinear neutral differential equation.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
17	M. R. Ahmadi, Hojatollah Adibi	The Chebyshev Tau technique for the solution of Laplace's equation.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
17	Ghodrat Ebadi, Mohammad Y. Rahimi-Ardabili, Sedaghat Shahmorad	Numerical solution of the nonlinear Volterra integro-differential equations by the Tau method.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
17	Luis F. Cordero, René Escalante	Segmented Tau approximation for test neutral functional differential equations.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
17	Mohammad Y. Rahimi-Ardabili, Sedaghat Shahmorad	Iterative numerical solution of non-linear integro-differential equations by the Tau method.	Appl. Math. Comput.	2007	DBLP DOI BibTeX RDF
17	Muruhan Rathinam, Hana El-Samad	Reversible-equivalent-monomolecular tau: A leaping method for "small number and stiff" stochastic chemical systems.	J. Comput. Phys.	2007	DBLP DOI BibTeX RDF
17	Sandi Klavzar, Matjaz Kovse	Partial cubes and their tau-graphs.	Eur. J. Comb.	2007	DBLP DOI BibTeX RDF
17	Nevine Maurice Ebeid, M. Anwar Hasan	On tau-adic representations of integers.	Des. Codes Cryptogr.	2007	DBLP DOI BibTeX RDF	AMS Classifications 11A63
17	Quanlong Wang, Kunpeng Wang, Zongduo Dai	On optimal simultaneous rational approximation to (omega, omega2)tau with omega being some kind of cubic algebraic function.	J. Approx. Theory	2007	DBLP DOI BibTeX RDF
17	Tiejun Li	Analysis of Explicit Tau-Leaping Schemes for Simulating Chemically Reacting Systems.	Multiscale Model. Simul.	2007	DBLP DOI BibTeX RDF
17	Domingos Moreira Cardoso, Paula Rama	Spectral results on regular graphs with (k, tau)-regular sets.	Discret. Math.	2007	DBLP DOI BibTeX RDF
17	Bedirhan Urgun, Curtis E. Dyreson, Richard T. Snodgrass, Jessica K. Miller, Nick Kline, Michael D. Soo, Christian S. Jensen	Integrating multiple calendars using tau-ZAMAN.	Softw. Pract. Exp.	2007	DBLP DOI BibTeX RDF
17	Nina McGarry	Using Cross-Tabulation and Kendall's TAU-C in an Effort to Understand Gender Issues of Socio-Technical Systems Development of a Healthcare Informatics Application.	AMCIS	2007	DBLP BibTeX RDF
17	Kevin A. Huck, Allen D. Malony, Sameer Shende, Alan Morris	Scalable, Automated Performance Analysis with TAU and PerfExplorer.	PARCO	2007	DBLP BibTeX RDF
17	Jair Minoro Abe, Seiki Akama, Kazumi Nakamatsu	Monadic Curry Algebras Q tau.	KES (2)	2007	DBLP DOI BibTeX RDF	Curry algebras, monadic algebras, paraconsistent annotated logic, algebraic logic
17	Adrian Lahanas, Vassilis Tsaoussidis	Experimenting with tau-AIMD over wireless asynchronous networks.	Comput. Commun.	2006	DBLP DOI BibTeX RDF
17	Sameer Shende, Allen D. Malony	The Tau Parallel Performance System.	Int. J. High Perform. Comput. Appl.	2006	DBLP DOI BibTeX RDF
17	Biao Yang, Zengke Zhang, Zhengshun Sun	Computing Nonlinear Tau -Estimation Based on Dynamic Differential Evolution Strategy.	IEEE Signal Process. Lett.	2006	DBLP DOI BibTeX RDF
17	Mehdi Dehghan 0002, Abbas Saadatmandi	A Tau Method for the One-Dimensional Parabolic Inverse Problem Subject to Temperature Overspecification.	Comput. Math. Appl.	2006	DBLP DOI BibTeX RDF
17	Matej Stehlík	Minimal Connected tau-Critical Hypergraphs.	Graphs Comb.	2006	DBLP DOI BibTeX RDF	?-critical hypergraphs, Colour-critical graphs, t-stable hypergraphs
17	P. N. Denisenko	Lanczos $\tau$-method optimal algorithm in APS for approximating the mathematical functions	CoRR	2006	DBLP BibTeX RDF
17	Mirella Lapata	Automatic Evaluation of Information Ordering: Kendall's Tau.	Comput. Linguistics	2006	DBLP DOI BibTeX RDF
17	Iain Williams, Geir Hovland, Torgny Brogardh	Kinematic Error Calibration of the Gantry-Tau Parallel Manipulator.	ICRA	2006	DBLP DOI BibTeX RDF
17	Roberto Maria Avanzi, Clemens Heuberger, Helmut Prodinger	On Redundant tau -Adic Expansions and Non-adjacent Digit Sets.	Selected Areas in Cryptography	2006	DBLP DOI BibTeX RDF
17	Alan Morris, Allen D. Malony, Sameer Shende	Supporting Nested OpenMP Parallelism in the TAU Performance System.	IWOMP	2006	DBLP DOI BibTeX RDF
17	Harkewal Singh, Soma S. Marla, Manas Agarwal	Docking studies of Tau Protein.	IMECS	2006	DBLP BibTeX RDF
17	Natasha Drukh, Yariv Matia, Yossi Matias, Leon Portman	tau-xSynopses - a System for Run-Time Management of XML Synopses.	NGITS	2006	DBLP DOI BibTeX RDF
17	Billy Bob Brumley	Left-to-Right Signed-Bit tau-Adic Representations of n Integers (Short Paper).	ICICS	2006	DBLP DOI BibTeX RDF	joint sparse form, simultaneous elliptic scalar multiplication, digital signatures, elliptic curve cryptography, Koblitz curves
17	Yossi Matias, Leon Portman, Natasha Drukh	The Design and Architecture of the tau-Synopses System.	EDBT	2006	DBLP DOI BibTeX RDF
17	Yariv Matia, Yossi Matias, Leon Portman	Synopses Reconciliation Via Calibration in the tau-Synopses System.	EDBT	2006	DBLP DOI BibTeX RDF
17	Paolo Cazzaniga, Dario Pescini, Daniela Besozzi, Giancarlo Mauri	Tau Leaping Stochastic Simulation Method in P Systems.	Workshop on Membrane Computing	2006	DBLP DOI BibTeX RDF
17	Françoise Bellegarde, Jacques Julliand, Hassan Mountassir, Emilie Oudot	On the Contribution of a tau.	FACS	2005	DBLP DOI BibTeX RDF
17	Ian F. Blake, V. Kumar Murty, Guangwu Xu	A note on window tau-NAF algorithm.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
17	Jafar Pour-Mahmoud, Mohammad Y. Rahimi-Ardabili, Sedaghat Shahmorad	Numerical solution of Volterra integro-differential equations by the Tau method with the Chebyshev and Legendre bases.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
17	Jafar Pour-Mahmoud, Mohammad Y. Rahimi-Ardabili, Sedaghat Shahmorad	Numerical solution of the system of Fredholm integro-differential equations by the Tau method.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
17	Sedaghat Shahmorad	Numerical solution of the general form linear Fredholm-Volterra integro-differential equations by the Tau method with an error estimation.	Appl. Math. Comput.	2005	DBLP DOI BibTeX RDF
17	Ian J. Davenport, Jesus Fernandez-Galvez, Robert J. Gurney	A sensitivity analysis of soil moisture retrieval from the tau-omega microwave emission model.	IEEE Trans. Geosci. Remote. Sens.	2005	DBLP DOI BibTeX RDF
17	Mohamed K. El-Daou	A Tau method with perturbed boundary conditions for certain ordinary differential equations.	Numer. Algorithms	2005	DBLP DOI BibTeX RDF
17	Muruhan Rathinam, Linda R. Petzold, Yang Cao 0001, Daniel T. Gillespie	Consistency and Stability of Tau-Leaping Schemes for Chemical Reaction Systems.	Multiscale Model. Simul.	2005	DBLP DOI BibTeX RDF
17	Roberto Maria Avanzi, Clemens Heuberger, Helmut Prodinger	Minimality of the Hamming Weight of the \tau-NAF for Koblitz Curves and Improved Combination with Point Halving.	IACR Cryptol. ePrint Arch.	2005	DBLP BibTeX RDF
17	Robert A. Barta, Gernot Salzer	The tau Model, Formalizing Topic Maps.	APCCM	2005	DBLP BibTeX RDF
17	Adrian Lahanas, Vassilios Tsaoussidis	Performance Evaluation of tau-AIMD over Wireless Asynchronous Networks.	WWIC	2005	DBLP DOI BibTeX RDF
17	Hacene Sebih, Kamel Barkaoui	A Proof-Term Structure for the Interpretation of the Temporal Logic Tau-LTL.	PDPTA	2005	DBLP BibTeX RDF
17	Adrian Lahanas, Vassilis Tsaoussidis	tau-AIMD for asynchronous receiver feedback.	Int. J. Commun. Syst.	2004	DBLP DOI BibTeX RDF
17	Abbas Saadatmandi, Mohsen Razzaghi	A tau method approach for the diffusion equation with nonlocal boundary conditions.	Int. J. Comput. Math.	2004	DBLP DOI BibTeX RDF
17	K. Parand 0001, Mohsen Razzaghi	Rational Chebyshev tau method for solving Volterra's population model.	Appl. Math. Comput.	2004	DBLP DOI BibTeX RDF
17	Ursula Greferath, Nupur Nag, Andrew J. Zele, Bang V. Bui, Yvette Wilson, Algis J. Vingrys, Mark Murphy	Fos-tau-LacZ mice expose light-activated pathways in the visual system.	NeuroImage	2004	DBLP DOI BibTeX RDF
17	Sameer Shende, Allen D. Malony	Integration and application of TAU in parallel Java environments.	Concurr. Comput. Pract. Exp.	2003	DBLP DOI BibTeX RDF
17	René Escalante	Parallel strategies for the step by step Tau method.	Appl. Math. Comput.	2003	DBLP DOI BibTeX RDF
17	S. M. Hosseini, Sedaghat Shahmorad	Numerical solution of a class of Integro-Differential equations by the Tau Method with an error estimation.	Appl. Math. Comput.	2003	DBLP DOI BibTeX RDF
17	Yuxi Fu, Zhenrong Yang	Tau laws for pi calculus.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	J. Maurice Rojas	A Direct Ultrametric Approach to Additive Complexity and the Shub-Smale Tau Conjecture	CoRR	2003	DBLP BibTeX RDF
17	Balbina Casas-Méndez, Ignacio García-Jurado, Anne van den Nouweland, Margarita Vázquez-Brage	An extension of the tau-value to games with coalition structures.	Eur. J. Oper. Res.	2003	DBLP DOI BibTeX RDF
17	O. A. Taiwo	Exponential Fitting for the Solution of Two-Point Boundary Value Problems with Cubic Spline Collocation Tau-Method.	Int. J. Comput. Math.	2002	DBLP DOI BibTeX RDF
17	Antonio García-Olivares	Analytical approximants of time-dependent partial differential equations with tau methods.	Math. Comput. Simul.	2002	DBLP DOI BibTeX RDF
17	Béchir el Ayeb	Fault Identification in System-Level Diagnosis: a Logic-Based Framework and an O(n2sqrt(tau/log n) Algorithm.	Algorithmica	2002	DBLP DOI BibTeX RDF	Fault identification algorithms, Logic-based deduction, Complexity, Graph, Diagnosis, Formalization, System-level diagnosis
17	Jian-guo Tang, He-ping Ma	Single and Multi-Interval Legendre tau-Methods in Time for Parabolic Equations.	Adv. Comput. Math.	2002	DBLP DOI BibTeX RDF	interval decomposition, parabolic equation, spectral method in time, optimal error estimate
17	Paul W. P. J. Grefen, Samuil Angelov	e-Business Track On tau-, µ-, pi-, and epsilon-Contracting.	WES	2002	DBLP DOI BibTeX RDF
17	Jérôme Boulbès	La mort de tau.	SIGGRAPH Electronic Art and Animation Catalog	2002	DBLP DOI BibTeX RDF
17	Jezdimir Knezevic, E. R. Odoom	Reliability modelling of repairable systems using Petri nets and fuzzy Lambda-Tau methodology.	Reliab. Eng. Syst. Saf.	2001	DBLP DOI BibTeX RDF
17	Neville Robbins	Some Identities Related to Ramanujan's Tau Function.	Ars Comb.	2001	DBLP BibTeX RDF
17	Martin W. Bunder, Keith P. Tognetti	On the self matching properties of [j tau].	Discret. Math.	2001	DBLP DOI BibTeX RDF
17	Stephan Arndt, Vincent Magnotta	Generating random series with known values of Kendall's tau.	Comput. Methods Programs Biomed.	2001	DBLP DOI BibTeX RDF
17	Mingsheng Ying	Weak confluence and tau-inertness.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	Jair Minoro Abe, Seiki Akama	Annotated Temporal Logics Delta*tau.	IBERAMIA-SBIA	2000	DBLP DOI BibTeX RDF	Time in Paraconsistent logics, paraconsistent temporal logic, time and paraconsistency
17	Jan Friso Groote, Jaco van de Pol	State Space Reduction Using Partial tau-Confluence.	MFCS	2000	DBLP DOI BibTeX RDF
17	Rapheal B. Adeniyi, O. O. Olugbara, O. A. Taiwo	Generic algorithms for solving O. D. E using the tau method with an error estimation.	Int. J. Comput. Math.	1999	DBLP DOI BibTeX RDF
17	H. G. Khajah	Tau method approximation of a generalized Epstein-Hubbell elliptic-type integral.	Math. Comput.	1999	DBLP DOI BibTeX RDF
17	Carlo Blundo, Paolo D'Arco, Antonio Giorgio Gaggia	A tau-Restricted Key Agreement Scheme.	Comput. J.	1999	DBLP DOI BibTeX RDF
17	Yidong Chen, Edward R. Dougherty	Markovian Analysis of Adaptive Reconstructive Multiparameter tau-Openings.	J. Math. Imaging Vis.	1999	DBLP DOI BibTeX RDF
17	Timothy J. Sheehan, Allen D. Malony, Sameer Shende	A Runtime Monitoring Framework for the TAU Profiling System.	ISCOPE	1999	DBLP DOI BibTeX RDF
17	M. K. El-Daou, E. L. Ortiz	The Tau Method as an Analytic Tool in the Discussion of Equivalence Results Across Numerical Methods.	Computing	1998	DBLP BibTeX RDF
17	Sameer Shende, Allen D. Malony, Steven T. Hackstadt	Dynamic Performance Callstack Sampling: Merging TAU and DAQV.	PARA	1998	DBLP DOI BibTeX RDF
17	Mai H. Nguyen, Garrison W. Cottrell	Tau Net A neural network for modeling temporal variability.	Neurocomputing	1997	DBLP DOI BibTeX RDF
17	Muhittin Gökmen, Anil K. Jain 0001	lamda-tau-Space Representation of Images and Generalized Edge Detector.	IEEE Trans. Pattern Anal. Mach. Intell.	1997	DBLP DOI BibTeX RDF	Edge detection, regularization, surface reconstruction, image representation, scale space
17	M. E. Froes Bunchaft	Some extensions of the Lanczos-Ortiz theory of canonical polynomials in the Tau Method.	Math. Comput.	1997	DBLP DOI BibTeX RDF
17	M. K. El-Daou, H. G. Khajah	Iterated solutions of linear operator equations with the Tau method.	Math. Comput.	1997	DBLP DOI BibTeX RDF
17	Yidong Chen, Edward R. Dougherty	Adaptive reconstructive tau-openings: convergence and the steady-state distribution.	J. Electronic Imaging	1996	DBLP DOI BibTeX RDF
17	Ron Aharoni, Ron Holzman, Michael Krivelevich	On a Theorem of Lovász on Covers in tau-Partite Hypergraphs.	Comb.	1996	DBLP DOI BibTeX RDF
17	J. B. Keiper	On the zeros of the Ramanujan tau-Dirichlet series in the critical strip.	Math. Comput.	1996	DBLP DOI BibTeX RDF
17	Sameer Shende, Janice E. Cuny, Lars Hansen, Joydip Kundu, Stephen McLaughry, Odile Wolf	Event and state-based debugging in TAU: a prototype.	SPDT	1996	DBLP DOI BibTeX RDF
17	Y. M. Samrout	Domain decomposition and the numerical solution of partial differential equations defined on irregular domains using segmented forms of the tau lines method.	Int. J. Comput. Math.	1995	DBLP DOI BibTeX RDF
17	David DeVidi	Intuitionistic epsilon- and tau-calculi.	Math. Log. Q.	1995	DBLP DOI BibTeX RDF
17	Stacy E. Finkelstein, Peter J. Freyd, James Lipton	Logic Programming in Tau Categories.	CSL	1994	DBLP DOI BibTeX RDF
17	Irek Ulidowski	Congrurences for tau-Respecting Formats of Rules.	Theory and Formal Methods	1993	DBLP BibTeX RDF
17	David A. Neuser	4. Curve and Surface Interpolation Using Quintic Weighted Tau-Splines.	Curve and Surface Design	1992	DBLP DOI BibTeX RDF
17	Dieter Lasser, Hans Hagen	3. Interval Weighted Tau-Splines.	Curve and Surface Design	1992	DBLP DOI BibTeX RDF
17	Stephan Karczewski	Das Planspiel TAU - Simulation von zukunftsorientierten politischen Entscheidungen in der Weiterbildung.	INFOS	1991	DBLP DOI BibTeX RDF
17	Dieter Lasser	Two remarks on Tau-splines.	ACM Trans. Graph.	1990	DBLP DOI BibTeX RDF
17	Hans-Görg Roos, E. Pfeifer	A convergence result for the Tau method.	Computing	1989	DBLP DOI BibTeX RDF
17	Kam-Moon Liu, Eduardo L. Ortiz	Numerical solution of ordinary and partial functional-differential eigenvalue problems with the Tau Method.	Computing	1989	DBLP DOI BibTeX RDF
17	Claude Le Conte de Poly-Barbut	Sur les Graphes Admettant le Nombre Maximum de Sous-Graphes à Trois Sommets et Deux Arêtes, et les Paires d'Ordres Totaux qui Maximisent \|Rho - Tau\|.	Eur. J. Comb.	1988	DBLP DOI BibTeX RDF