Search results for "s-pure"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
63	Mojgan Mahmoudi, M. Mehdi Ebrahimi	Purity and Equational Compactness of Projection Algebras.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	projection algebra, pure, equationally compact, s-pure, s-compact, s-injective, pure-essential, equational compact hull, injective hull, complete, sequence
57	James H. Anderson, Philip Holman	Efficient pure-buffer algorithms for real-time systems.	RTCSA	2000	DBLP DOI BibTeX RDF	efficient pure-buffer algorithms, multiprocessor real-time systems, multi-writer read/write pure-buffers, overwritten data, client processes, handshaking mechanisms, concurrent read/write operations safety, quantum-scheduled systems, priority-scheduled systems, buffer word length, real-time systems, computational complexity, distributed algorithms, safety, multiprocessing systems, time complexity, processor scheduling, optimized algorithms, buffer storage, space complexity, wait-free algorithms, shared buffers, processor number
53	Tomasz Piotrowski, Renato L. G. Cavalcante, Isao Yamada	Stochastic MV-PURE Estimator - Robust Reduced-Rank Estimator for Stochastic Linear Model.	IEEE Trans. Signal Process.	2009	DBLP DOI BibTeX RDF
50	Burton S. Kaliski Jr., Ronald L. Rivest, Alan T. Sherman	Is DES a Pure Cipher? (Results of More Cycling Experiments on DES).	CRYPTO	1985	DBLP DOI BibTeX RDF	closed cipher, cycle-detection algorithm, finite permutation group, idempotent cryptosystem, pure cipher, cryptography, cryptanalysis, Data Encryption Standard (DES), cryptology, multiple encryption, Birthday Paradox
48	Ádám Darvas, K. Rustan M. Leino	Practical Reasoning About Invocations and Implementations of Pure Methods.	FASE	2007	DBLP DOI BibTeX RDF
48	Juliane Dunkel, Andreas S. Schulz	On the Complexity of Pure-Strategy Nash Equilibria in Congestion and Local-Effect Games.	WINE	2006	DBLP DOI BibTeX RDF
48	Edoardo M. Airoldi, Kathleen M. Carley	Sampling algorithms for pure network topologies: a study on the stability and the separability of metric embeddings.	SIGKDD Explor.	2005	DBLP DOI BibTeX RDF
48	Dan Gusfield	Haplotype Inference by Pure Parsimony.	CPM	2003	DBLP DOI BibTeX RDF
45	Ross Pure, Salman Durrani, Fei Tong, Jianping Pan 0001	Distance Distribution Between Two Random Nodes in Arbitrary Polygons.	CoRR	2019	DBLP BibTeX RDF
45	Andrew J. Flanagin, Miriam J. Metzger, Rebekah Pure, Alex Markov, Ethan Hartsell	Mitigating risk in ecommerce transactions: perceptions of information credibility and the role of user-generated ratings in product quality and purchase intention.	Electron. Commer. Res.	2014	DBLP DOI BibTeX RDF
45	Andrew J. Flanagin, Miriam J. Metzger, Rebekah Pure, Alex Markov	User-Generated Ratings and the Evaluation of Credibility and Product Quality in Ecommerce Transactions.	HICSS	2011	DBLP DOI BibTeX RDF
45	Anand Bhalgat, Tanmoy Chakraborty 0001, Sanjeev Khanna	Approximating pure nash equilibrium in cut, party affiliation, and satisfiability games.	EC	2010	DBLP DOI BibTeX RDF	cut games, party affiliation games, potential games, pure nash equilibrium, approximation algorithms
45	Panagiota N. Panagopoulou, Paul G. Spirakis	Algorithms for pure Nash equilibria in weighted congestion games.	ACM J. Exp. Algorithmics	2006	DBLP DOI BibTeX RDF	pure Nash equilibria, game theory, Congestion games
45	Alex Fabrikant, Christos H. Papadimitriou, Kunal Talwar	The complexity of pure Nash equilibria.	STOC	2004	DBLP DOI BibTeX RDF	PLS-completeness, pure Nash equilibria, complexity, games, local search, congestion games, PLS
44	Matthew Finifter, Adrian Mettler, Naveen Sastry, David A. Wagner 0001	Verifiable functional purity in java.	CCS	2008	DBLP DOI BibTeX RDF	object-capabilities, pure functions, static analysis, determinism
43	Tomasz Piotrowski, Isao Yamada	MV-PURE Estimator: Minimum-Variance Pseudo-Unbiased Reduced-Rank Estimator for Linearly Constrained Ill-Conditioned Inverse Problems.	IEEE Trans. Signal Process.	2008	DBLP DOI BibTeX RDF
43	Heiner Ackermann, Heiko Röglin, Berthold Vöcking	Pure Nash Equilibria in Player-Specific and Weighted Congestion Games.	WINE	2006	DBLP DOI BibTeX RDF
40	Yuexian Hou, Dawei Song 0001	Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry.	QI	2009	DBLP DOI BibTeX RDF	Pure high-order entanglement, Semantic emergence, Extended vector model, Information geometry
40	Hui Liu 0008, Yi Pan 0001, Ivan Stojmenovic	A Pure Localized Algorithm for Finding Connected Dominating Set in MANETs by Classification of Neighbors.	WASA	2006	DBLP DOI BibTeX RDF	pure localized algorithm, routing, distributed algorithm, wireless ad hoc networks, connected dominating set
40	Bécharia Nadji	Effect of Post-oxidation Annealing on the Electrical Properties of Anodic Oxidized Films in Pure Water.	PATMOS	2005	DBLP DOI BibTeX RDF	Anodic oxidation, Pure water, Fixed Charges, interface States density, Si/SiO2, Electrical characterisation, MOS Structures, Fowler-Nordheim tunnelling
40	Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori	Pure patterns type systems.	POPL	2003	DBLP DOI BibTeX RDF	Curry-Howard, pure type systems, patterns, matching, logics, Lambda-calculus, rewriting
40	Francisco Gutiérrez, Blas C. Ruiz	Expansion Postponement via Cut Elimination in Sequent Calculi for Pure Type Systems.	ICALP	2003	DBLP DOI BibTeX RDF	pure type systems, expansion postponement, Track: B, cut elimination, sequent calculi
40	Francisco Gutiérrez, Blas C. Ruiz	A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene.	LOPSTR	2002	DBLP DOI BibTeX RDF	lambda calculus with types, pure type systems, cut elimination, sequent calculi
39	Imran N. Junejo, Hassan Foroosh	Practical pure pan and pure tilt camera calibration.	ICPR	2008	DBLP DOI BibTeX RDF
38	DeLesley S. Hutchins	Pure subtype systems.	POPL	2010	DBLP DOI BibTeX RDF	abstract reduction systems, transitivity elimination, subtyping, dependent types, singleton types
38	Xin Ai 0002, Vikram Srinivasan, Chen-Khong Tham	Optimality and Complexity of Pure Nash Equilibria in the Coverage Game.	IEEE J. Sel. Areas Commun.	2008	DBLP DOI BibTeX RDF
38	Hongyang Deng, Roman A. Dyba	Fast and efficient proportionate adaptive algorithms for pure delay estimation.	CISS	2008	DBLP DOI BibTeX RDF
35	Zelda B. Zabinsky	Global Optimization: Hit and Run Methods.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Random search algorithms, Improving hit and run, Hit and run methods, Mixed discrete-continuous global optimization, Pure random search, Pure adaptive search, Simulated annealing, Global optimization, Stochastic methods, Adaptive search
35	Anna Nagurney	Walrasian Price Equilibrium.	Encyclopedia of Optimization	2009	DBLP DOI BibTeX RDF	Pure exchange, Pure trade, General economic equilibrium, Walras law, Aggregate excess demand function, Projection method, Variational inequality formulation, Relaxation method, Perfect competition
35	Gwoboa Horng, Ming-Deh A. Huang	Simplifying Nested Radicals and Solving Polynomials by Radicals in Minimum Depth	FOCS	1990	DBLP DOI BibTeX RDF	pure root extensions, nested radicals, minimum depth, pure nested radicals, polynomials
34	Pablo Suárez-Serrato	Affine Configurations and Pure Braids.	Discret. Comput. Geom.	2009	DBLP DOI BibTeX RDF	Affine configurations, Pure braids, Mapping class groups
34	Anne Auger, Raymond Ros	Benchmarking the pure random search on the BBOB-2009 noisy testbed.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	pure random search, evolutionary computation, benchmarking, Monte-Carlo, black-box optimization
34	Anne Auger, Raymond Ros	Benchmarking the pure random search on the BBOB-2009 testbed.	GECCO (Companion)	2009	DBLP DOI BibTeX RDF	pure random search, evolutionary computation, benchmarking, Monte-Carlo, black-box optimization
34	Shouta Morimoto, Fumio Teraoka	SSS: A Personal File Storage System Considering Fairness among Users Based on Pure P2P Model.	SAINT	2008	DBLP DOI BibTeX RDF	file storage, pure P2P model, fairness
34	Jan Jerabek, Kamil Vrba	RF Pure Current-Mode Filters using Current Mirrors and Inverters. (PDF / PS)	PWC	2007	DBLP DOI BibTeX RDF	pure current mode, current mirror, current inverter, CMI, GCMI, frequency filter
34	Jan Johannsen	The Complexity of Pure Literal Elimination.	J. Autom. Reason.	2005	DBLP DOI BibTeX RDF	pure literal, computational complexity, completeness
33	Annalisa Bossi, Nicoletta Cocco	Success in Logic Programs.	LOPSTR	1998	DBLP DOI BibTeX RDF	pure Prolog programs, failure/success analysis, program transformations
32	Arsenii Rudich, Ádám Darvas, Peter Müller 0001	Checking Well-Formedness of Pure-Method Specifications.	FM	2008	DBLP DOI BibTeX RDF
32	Ka-man Lam, Ho-fung Leung	Existence of Risk Strategy Equilibrium in Games Having No Pure Strategy Nash Equilibrium.	PRIMA	2007	DBLP DOI BibTeX RDF
32	Jeong-Yup Lee, Robert V. Moody, Boris Solomyak	Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems.	Discret. Comput. Geom.	2003	DBLP DOI BibTeX RDF
32	Ho Mun Chan, Barbara Gorayska	Critique of Pure Technology.	Cognitive Technology	2001	DBLP DOI BibTeX RDF
32	Gernot Stroth	Algorithms in Pure Mathematics.	Computational Discrete Mathematics	2001	DBLP DOI BibTeX RDF
32	Antony A. Faustini	An Operational Semantics for Pure Dataflow.	ICALP	1982	DBLP DOI BibTeX RDF
31	Panagiota N. Panagopoulou, Paul G. Spirakis	A Game Theoretic Approach for Efficient Graph Coloring.	ISAAC	2008	DBLP DOI BibTeX RDF
31	Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang	A Replay-Oriented Software Architecture for Easy Debugging.	CSSE (2)	2008	DBLP DOI BibTeX RDF
29	Vincent Siles, Hugo Herbelin	Equality Is Typable in Semi-full Pure Type Systems.	LICS	2010	DBLP DOI BibTeX RDF	Pure Type Systems, Judgmental Equality
29	Jing Chen, Junjie Xiao, Huaibin Zhu	Research on Experimental Control System for Rich- or Pure-Oxygen Roller Kilns.	APWCS	2010	DBLP DOI BibTeX RDF	rich- or pure-oxygen roller kilns, WinCC, PWM
29	Xiao Chun, Chen Jing, Youxin Yuan, Bihui Huang, Li Jia	Research on Kiln Body Health Monitoring of Ceramic Roller Kiln with Oxygen-Enriched and Pure Oxygen Combustion.	PACIIA (2)	2008	DBLP DOI BibTeX RDF	Oxygen-enriched and pure oxygen combustion, Kiln body, Fiber grating temperature sensor, Health monitoring
28	Hyoseop Shin, Jeehoon Lee, Kyouhyun Hwang	Separating the reputation and the sociability of online community users.	SAC	2010	DBLP DOI BibTeX RDF	pure user reputation, user ranking, user reputation, user sociability, online communities
28	Gregory R. Wheeler	Applied Logic without Psychologism.	Stud Logica	2008	DBLP DOI BibTeX RDF	Belief structures, pure invariantism, sub-System P logics, psychologism, non-monotonic logic
28	Christian Hofer, Klaus Ostermann, Tillmann Rendel, Adriaan Moors	Polymorphic embedding of dsls.	GPCE	2008	DBLP DOI BibTeX RDF	pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala
28	Erik Meijer 0001	Fundamentalist functional programming.	GPCE	2008	DBLP DOI BibTeX RDF	pure functional programming, concurrency, monads, lazy evaluation, linq
28	Michal Penn, Maria Polukarov, Moshe Tennenholtz	Congestion games with load-dependent failures: identical resources.	EC	2007	DBLP DOI BibTeX RDF	load-dependent resource failures, pure strategy Nash equilibrium, congestion games
28	Ana Graça, João Marques-Silva 0001, Inês Lynce, Arlindo L. Oliveira	Efficient Haplotype Inference with Pseudo-boolean Optimization.	AB	2007	DBLP DOI BibTeX RDF	pure parsimony, pseudo-Boolean optimization, haplotype inference
28	Michal Penn, Maria Polukarov, Moshe Tennenholtz	Congestion games with failures.	EC	2005	DBLP DOI BibTeX RDF	pure-strategy nash, failures, equilibrium, congestion games
28	Ken Horie, Takashi Matsuhisa	No Speculation under Expectations in Awareness.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF	Pure exchange economy, No speculation, Expectations equilibrium, Ex-ante Pareto optimum, Awareness, Belief
28	Takashi Matsuhisa	Core Equivalence in Economy for Modal Logic.	International Conference on Computational Science	2003	DBLP DOI BibTeX RDF	Pure exchange economy under reflexive information structure, Ex-post core, Rational expectations equilibrium, Core equivalence theorem, Journal of Economic Literature Classification: D51, D84, D52, C72, Multi-modal logic
28	Timothy F. Havel, S. S. Somaroo, C.-H. Tseng, David G. Cory	Principles and Demonstrations of Quantum Information Processing by NMR Spectroscopy.	Appl. Algebra Eng. Commun. Comput.	2000	DBLP DOI BibTeX RDF	Nuclear magnetic resonance, Pseudo-pure states, Product operator formalism, Quantum computation, Quantum error correcting codes
28	LihChyun Shu, Michal Young	Chopping and versioning real-time transactions to avoid remote blocking.	RTCSA	2000	DBLP DOI BibTeX RDF	real time transaction versioning, remote blocking, versioning protocols, chopping analysis, pure locking protocols, 1-version serializability, design time information, simple data structures, small bounded overheads, worst case access times, scheduling, real-time systems, protocols, concurrency control, multiprocessors, multiprocessing systems, transaction processing, configuration management, schedulability analysis, hard real time systems, critical sections, locking protocols, database concurrency control
28	Hideaki Matsueda	Spatiotemporal Dynamics of Quantum Computing Solid Dipole-Dipole Block Systems.	QCQC	1998	DBLP DOI BibTeX RDF	dipole-dipole interaction, quantum dot array, solid block, quantum CCN gate, ensemble cancellation of errors, quantum entangled pure states
28	Dieter Haban, Kang G. Shin	Application of Real-Time Monitoring to Scheduling Tasks with Random Execution Times.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	test/measurement processors, random execution times, TMPs, true execution time, pure execution time, resource sharing delay, transparent part, WET, estimated execution time, scheduling, real-time systems, task scheduling, worst-case execution time, system performance, simulated environment, real-time monitoring, real-time monitor, real-time computing system, dedicated hardware
27	Garry Bowen, Nilanjana Datta	Asymptotic Entanglement Manipulation of Bipartite Pure States.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
27	An-Min Zou, Zeng-Guang Hou, Min Tan 0001	Adaptive Control of a Class of Nonlinear Pure-Feedback Systems Using Fuzzy Backstepping Approach.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
27	K. G. Subramanian 0001, Atulya K. Nagar, M. Geethalakshmi	Pure 2D Picture Grammars (P2DPG) and P2DPG with Regular Control.	IWCIA	2008	DBLP DOI BibTeX RDF
27	Kazunori Ueda	Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting.	RTA	2008	DBLP DOI BibTeX RDF
27	Zhigang Zeng, Huangqiong Chen, Shiping Wen 0001	Global exponential stability of recurrent neural networks with pure time-varying delays.	IJCNN	2008	DBLP DOI BibTeX RDF
27	Martin Hofmann 0001, Ulrich Schöpp	Pure Pointer Programs with Iteration.	CSL	2008	DBLP DOI BibTeX RDF
27	Simon Colton	Computational Discovery in Pure Mathematics.	Computational Discovery of Scientific Knowledge	2007	DBLP DOI BibTeX RDF
27	Heiner Ackermann, Alexander Skopalik	On the Complexity of Pure Nash Equilibria in Player-Specific Network Congestion Games.	WINE	2007	DBLP DOI BibTeX RDF
27	João Marques-Silva 0001, Inês Lynce, Ana Graça, Arlindo L. Oliveira	Efficient and Tight Upper Bounds for Haplotype Inference by Pure Parsimony Using Delayed Haplotype Selection.	EPIA Workshops	2007	DBLP DOI BibTeX RDF
27	Samee Ullah Khan, Ishfaq Ahmad	A Pure Nash Equilibrium Guaranteeing Game Theoretical Replica Allocation Method for Reducing Web Access Time.	ICPADS (1)	2006	DBLP DOI BibTeX RDF
27	Ivo Lattenberg, Kamil Vrba, David Kubánek	Signal Processing for High-Speed Data Communication Using Pure Current Mode Filters.	ICN (2)	2005	DBLP DOI BibTeX RDF
27	Esther Romero, Belén Soria	'I' as a Pure Indexical and Metonymy as Language Reduction.	CONTEXT	2005	DBLP DOI BibTeX RDF
27	Mark-Oliver Stehr, José Meseguer 0001	Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework.	Essays in Memory of Ole-Johan Dahl	2004	DBLP DOI BibTeX RDF
27	Georg Gottlob, Gianluigi Greco, Francesco Scarcello	Pure Nash equilibria: hard and easy games.	TARK	2003	DBLP DOI BibTeX RDF
27	Danny Roobaert, Michael Zillich, Jan-Olof Eklundh	A Pure Learning Approach to Background-Invariant Object Recognition using Pedagogical Support Vector Learning.	CVPR (2)	2001	DBLP DOI BibTeX RDF
27	Alan Kaplan, John V. E. Ridgway, Bradley R. Schmerl, Krishnan Sridhar, Jack C. Wileden	Toward Pure Polylingual Persistence.	POS	2000	DBLP DOI BibTeX RDF
27	Gilles Barthe	The Semi-Full Closure of Pure Type Systems.	MFCS	1998	DBLP DOI BibTeX RDF
26	Vahab S. Mirrokni, Alexander Skopalik	On the complexity of nash dynamics and sink equilibria.	EC	2009	DBLP DOI BibTeX RDF	potential games, sink equilibria, nash equilibria
26	Jan Smans, Bart Jacobs 0002, Frank Piessens, Wolfram Schulte	An Automatic Verifier for Java-Like Programs Based on Dynamic Frames.	FASE	2008	DBLP DOI BibTeX RDF
26	Dimitris Fotakis 0001, Paul G. Spirakis	Cost-Balancing Tolls for Atomic Network Congestion Games.	WINE	2007	DBLP DOI BibTeX RDF
23	Lixin Mao	Pure projective, pure injective and FP-injective modules over trivial ring extensions.	Int. J. Algebra Comput.	2023	DBLP DOI BibTeX RDF
23	Jiangdong Wu, Haoling Ren, Tianliang Lin, Yu Yao, Zhen Fang, Chang Liu	A Pure Electric Driverless Crawler Construction Machinery Walking Method Based on the Fusion SLAM and Improved Pure Pursuit Algorithms.	Sensors	2023	DBLP DOI BibTeX RDF
23	Antoine Barrier	Contributions to a Theory of Pure Exploration in Sequential Statistics. (Contributions à une théorie de l'exploration pure en statistique séquentielle).		2023	RDF
23	Aixin Liu, Haitao Li 0001, Ping Li, Xinrong Yang	On Basis and Pure Nash Equilibrium of Finite Pure Harmonic Games.	J. Syst. Sci. Complex.	2022	DBLP DOI BibTeX RDF
23	Pankaj Kumar Mishra, Nishchal K. Verma	Adaptive Control of Unknown Pure Feedback Systems with Pure State Constraints.	CoRR	2022	DBLP DOI BibTeX RDF
23	Guang-Jing Song, Weiyang Ding, Michael K. Ng 0001	Low Rank Pure Quaternion Approximation for Pure Quaternion Matrices.	SIAM J. Matrix Anal. Appl.	2021	DBLP DOI BibTeX RDF
23	Guang-Jing Song, Weiyang Ding, Michael K. Ng 0001	Low Rank Pure Quaternion Approximation for Pure Quaternion Matrices.	CoRR	2020	DBLP BibTeX RDF
23	Maximilian Länge	An artificial neural network model for the unary description of pure substances and its application on the thermodynamic modelling of pure iron.	Soft Comput.	2020	DBLP DOI BibTeX RDF
23	Charles J. Colbourn, Melissa S. Keranen, Donald L. Kreher	f-vectors of pure complexes and pure multicomplexes of rank three.	Discret. Math.	2014	DBLP DOI BibTeX RDF
23	Xiaorui Zhang, Shujun Yao	Technology innovation and practice of long span traditional pure stone structure: Case from pure stone archway in Baoji new executive square.	EMEIT	2011	DBLP DOI BibTeX RDF
23	E. Misra, N. D. Theodore, J. W. Mayer, T. L. Alford	Failure mechanisms of pure silver, pure aluminum and silver-aluminum alloy under high current stress.	Microelectron. Reliab.	2006	DBLP DOI BibTeX RDF
23	Pedro V. Silva	A note on pure and p-pure languages.	Acta Informatica	2003	DBLP DOI BibTeX RDF
23	Subir Bhattacharya, Amitava Bagchi	QuickGame: A Compromise Between Pure Depth-first and Pure Best-first Game Tree Search Strategies.	IWAR	1992	DBLP BibTeX RDF
23	Wolfgang Rump	Corrigendum and addendum to: "L-algebras and three main non-classical logics" [Ann. Pure Appl. Log. 173 (7) (2022) 103121].	Ann. Pure Appl. Log.	2023	DBLP DOI BibTeX RDF
23	Yatir Halevi	Corrigendum to "On stably pointed varieties and generically stable groups in ACVF" [Ann. Pure Appl. Log. 170(2) (2019) 180-217].	Ann. Pure Appl. Log.	2022	DBLP DOI BibTeX RDF
23	Gunnar Wilken	Pure Σ2-elementarity beyond the core.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
23	Marcos Mazari-Armida	Superstability, noetherian rings and pure-semisimple rings.	Ann. Pure Appl. Log.	2021	DBLP DOI BibTeX RDF
23	Giovanni Raneri	Introducing article numbering to Annals of Pure and Applied Logic.	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF
23	Philip Scowcroft	Corrigendum to "Model-completions for Abelian lattice-ordered groups with finitely many disjoint elements" [Ann. Pure Appl. Logic 170 (2019) 673-698].	Ann. Pure Appl. Log.	2019	DBLP DOI BibTeX RDF