|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 3203 occurrences of 2107 keywords
|
|
|
Results
Found 8034 publication records. Showing 8032 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
63 | Mojgan Mahmoudi, M. Mehdi Ebrahimi |
Purity and Equational Compactness of Projection Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(4), pp. 381-394, 2001. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 57-64, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 57(4), pp. 1293-1303, 2009. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '85, Santa Barbara, California, USA, August 18-22, 1985, Proceedings, pp. 212-226, 1985, Springer, 3-540-16463-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings, pp. 336-351, 2007, Springer, 978-3-540-71288-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings, pp. 62-73, 2006, Springer, 3-540-68138-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 7(2), pp. 13-22, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | Dan Gusfield |
Haplotype Inference by Pure Parsimony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPM ![In: Combinatorial Pattern Matching, 14th Annual Symposium, CPM 2003, Morelia, Michocán, Mexico, June 25-27, 2003, Proceedings, pp. 144-155, 2003, Springer, 3-540-40311-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
45 | Ross Pure, Salman Durrani, Fei Tong, Jianping Pan 0001 |
Distance Distribution Between Two Random Nodes in Arbitrary Polygons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1903.07757, 2019. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Commer. Res. ![In: Electron. Commer. Res. 14(1), pp. 1-23, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 44th Hawaii International International Conference on Systems Science (HICSS-44 2011), Proceedings, 4-7 January 2011, Koloa, Kauai, HI, USA, pp. 1-10, 2011, IEEE Computer Society, 978-0-7695-4282-9. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
45 | Anand Bhalgat, Tanmoy Chakraborty 0001, Sanjeev Khanna |
Approximating pure nash equilibrium in cut, party affiliation, and satisfiability games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 11th ACM Conference on Electronic Commerce (EC-2010), Cambridge, Massachusetts, USA, June 7-11, 2010, pp. 73-82, 2010, ACM, 978-1-60558-822-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM J. Exp. Algorithmics ![In: ACM J. Exp. Algorithmics 11, 2006. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 36th Annual ACM Symposium on Theory of Computing, Chicago, IL, USA, June 13-16, 2004, pp. 604-612, 2004, ACM, 1-58113-852-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2008 ACM Conference on Computer and Communications Security, CCS 2008, Alexandria, Virginia, USA, October 27-31, 2008, pp. 161-174, 2008, ACM, 978-1-59593-810-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Signal Process. ![In: IEEE Trans. Signal Process. 56(8-1), pp. 3408-3423, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
43 | Heiner Ackermann, Heiko Röglin, Berthold Vöcking |
Pure Nash Equilibria in Player-Specific and Weighted Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings, pp. 50-61, 2006, Springer, 3-540-68138-8. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Yuexian Hou, Dawei Song 0001 |
Characterizing Pure High-Order Entanglements in Lexical Semantic Spaces via Information Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QI ![In: Quantum Interaction, Third International Symposium, QI 2009, Saarbrücken, Germany, March 25-27, 2009. Proceedings, pp. 237-250, 2009, Springer, 978-3-642-00833-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WASA ![In: Wireless Algorithms, Systems, and Applications, First International Conference, WASA 2006, Xi'an, China, August 15-17, 2006, Proceedings, pp. 371-381, 2006, Springer, 3-540-37189-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PATMOS ![In: Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation, 15th International Workshop, PATMOS 2005, Leuven, Belgium, September 21-23, 2005, Proceedings, pp. 684-692, 2005, Springer, 3-540-29013-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 250-261, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 30th International Colloquium, ICALP 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003. Proceedings, pp. 956-968, 2003, Springer, 3-540-40493-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Based Program Synthesis and Tranformation, 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20,2002, Revised Selected Papers, pp. 17-31, 2002, Springer, 3-540-40438-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: 19th International Conference on Pattern Recognition (ICPR 2008), December 8-11, 2008, Tampa, Florida, USA, pp. 1-4, 2008, IEEE Computer Society, 978-1-4244-2175-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | DeLesley S. Hutchins |
Pure subtype systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 287-298, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE J. Sel. Areas Commun. ![In: IEEE J. Sel. Areas Commun. 26(7), pp. 1170-1182, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
38 | Hongyang Deng, Roman A. Dyba |
Fast and efficient proportionate adaptive algorithms for pure delay estimation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CISS ![In: 42nd Annual Conference on Information Sciences and Systems, CISS 2008, Princeton, NJ, USA, 19-21 March 2008, pp. 229-232, 2008, IEEE, 978-1-4244-2246-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
35 | Zelda B. Zabinsky |
Global Optimization: Hit and Run Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1342-1346, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 4047-4050, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 31st Annual Symposium on Foundations of Computer Science, St. Louis, Missouri, USA, October 22-24, 1990, Volume II, pp. 847-856, 1990, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(1), pp. 177-181, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2485-2490, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GECCO (Companion) ![In: Genetic and Evolutionary Computation Conference, GECCO 2009, Proceedings, Montreal, Québec, Canada, July 8-12, 2009, Companion Material, pp. 2479-2484, 2009, ACM, 978-1-60558-505-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: Proceedings of the 2008 International Symposium on Applications and the Internet, SAINT 2008, 28 July - 1 August 2008, Turku, Finland, pp. 217-220, 2008, IEEE Computer Society, 978-0-7695-3297-4. The full citation details ...](Pics/full.jpeg) |
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) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PWC ![In: Personal Wireless Communications, The 12th IFIP International Conference on Personal Wireless Communications (PWC 2007), Prague, Czech Republic, September 2007, pp. 545-556, 2007, Springer, 978-0-387-74158-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 35(1-3), pp. 89-95, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pure literal, computational complexity, completeness |
33 | Annalisa Bossi, Nicoletta Cocco |
Success in Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic Programming Synthesis and Transformation, 8th International Workshop, LOPSTR'98, Manchester, UK, June 15-19, 1998, Proceedings, pp. 219-239, 1998, Springer, 3-540-65765-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM ![In: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings, pp. 68-83, 2008, Springer, 978-3-540-68235-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Agent Computing and Multi-Agent Systems, 10th Pacific Rim International Conference on Multi-Agents, PRIMA 2007, Bangkok, Thailand, November 21-23, 2007. Revised Papers, pp. 1-12, 2007, Springer, 978-3-642-01638-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
32 | Jeong-Yup Lee, Robert V. Moody, Boris Solomyak |
Consequences of Pure Point Diffraction Spectra for Multiset Substitution Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 29(4), pp. 525-560, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Ho Mun Chan, Barbara Gorayska |
Critique of Pure Technology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Cognitive Technology ![In: Cognitive Technology: Instruments of Mind, 4th International Conference, CT 2001, Warwick, UK, August 6-9, 2001, Proceedings, pp. 463-475, 2001, Springer, 3-540-42406-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Gernot Stroth |
Algorithms in Pure Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Discrete Mathematics ![In: Computational Discrete Mathematics, Advanced Lectures, pp. 148-158, 2001, Springer, 3-540-42775-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
32 | Antony A. Faustini |
An Operational Semantics for Pure Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 212-224, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
31 | Panagiota N. Panagopoulou, Paul G. Spirakis |
A Game Theoretic Approach for Efficient Graph Coloring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAAC ![In: Algorithms and Computation, 19th International Symposium, ISAAC 2008, Gold Coast, Australia, December 15-17, 2008. Proceedings, pp. 183-195, 2008, Springer, 978-3-540-92181-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Chunhan Wu, Xingyuan Zhang, Yuanyuan Wang |
A Replay-Oriented Software Architecture for Easy Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSSE (2) ![In: International Conference on Computer Science and Software Engineering, CSSE 2008, Volume 2: Software Engineering, December 12-14, 2008, Wuhan, China, pp. 491-499, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Vincent Siles, Hugo Herbelin |
Equality Is Typable in Semi-full Pure Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, LICS 2010, 11-14 July 2010, Edinburgh, United Kingdom, pp. 21-30, 2010, IEEE Computer Society, 978-0-7695-4114-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APWCS ![In: 2010 Asia-Pacific Conference on Wearable Computing Systems, APWCS 2010, Shenzhen, China , 17-18 April 2010, pp. 334-336, 2010, IEEE Computer Society, 978-0-7695-4003-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PACIIA (2) ![In: PACIIA 2008, Volume 2, 2008 IEEE Pacific-Asia Workshop on Computational Intelligence and Industrial Application, 19-20 December 2008, Wuhan, China, pp. 607-611, 2008, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, 2010, pp. 1807-1814, 2010, ACM, 978-1-60558-639-7. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
pure user reputation, user ranking, user reputation, user sociability, online communities |
28 | Gregory R. Wheeler |
Applied Logic without Psychologism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 88(1), pp. 137-156, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 137-148, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
pure embedding, domain-specific languages, extensibility, compositionality, algebraic semantics, scala |
28 | Erik Meijer 0001 |
Fundamentalist functional programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 7th International Conference, GPCE 2008, Nashville, TN, USA, October 19-23, 2008, Proceedings, pp. 99-100, 2008, ACM, 978-1-60558-267-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 8th ACM Conference on Electronic Commerce (EC-2007), San Diego, California, USA, June 11-15, 2007, pp. 210-217, 2007, ACM, 978-1-59593-653-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AB ![In: Algebraic Biology, Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings, pp. 125-139, 2007, Springer, 978-3-540-73432-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
pure parsimony, pseudo-Boolean optimization, haplotype inference |
28 | Michal Penn, Maria Polukarov, Moshe Tennenholtz |
Congestion games with failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 6th ACM Conference on Electronic Commerce (EC-2005), Vancouver, BC, Canada, June 5-8, 2005, pp. 259-268, 2005, ACM, 1-59593-049-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
pure-strategy nash, failures, equilibrium, congestion games |
28 | Ken Horie, Takashi Matsuhisa |
No Speculation under Expectations in Awareness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2004, 4th International Conference, Kraków, Poland, June 6-9, 2004, Proceedings, Part IV, pp. 915-922, 2004, Springer, 3-540-22129-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science ![In: Computational Science - ICCS 2003, International Conference, Melbourne, Australia and St. Petersburg, Russia, June 2-4, 2003. Proceedings, Part II, pp. 74-83, 2003, Springer, 3-540-40195-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 10(4/5), pp. 339-374, 2000. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pp. 93-101, 2000, IEEE Computer Society, 0-7695-0930-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QCQC ![In: Quantum Computing and Quantum Communications, First NASA International Conference, QCQC'98, Palm Springs, California, USA, February 17-20, 1998, Selected Papers, pp. 468-477, 1998, Springer, 3-540-65514-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 16(12), pp. 1374-1389, 1990. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 54(8), pp. 3677-3686, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Fuzzy Syst. ![In: IEEE Trans. Fuzzy Syst. 16(4), pp. 886-897, 2008. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWCIA ![In: Combinatorial Image Analysis, 12th International Workshop, IWCIA 2008, Buffalo, NY, USA, April 7-9, 2008. Proceedings, pp. 330-341, 2008, Springer, 978-3-540-78274-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Kazunori Ueda |
Encoding the Pure Lambda Calculus into Hierarchical Graph Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings, pp. 392-408, 2008, Springer, 978-3-540-70588-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN ![In: Proceedings of the International Joint Conference on Neural Networks, IJCNN 2008, part of the IEEE World Congress on Computational Intelligence, WCCI 2008, Hong Kong, China, June 1-6, 2008, pp. 887-892, 2008, IEEE, 978-1-4244-1820-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Martin Hofmann 0001, Ulrich Schöpp |
Pure Pointer Programs with Iteration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings, pp. 79-93, 2008, Springer, 978-3-540-87530-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
27 | Simon Colton |
Computational Discovery in Pure Mathematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computational Discovery of Scientific Knowledge ![In: Computational Discovery of Scientific Knowledge, Introduction, Techniques, and Applications in Environmental and Life Sciences, pp. 175-201, 2007, Springer, 978-3-540-73919-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
27 | Heiner Ackermann, Alexander Skopalik |
On the Complexity of Pure Nash Equilibria in Player-Specific Network Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 419-430, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPIA Workshops ![In: Progress in Artificial Intelligence, 13th Portuguese Conference on Aritficial Intelligence, EPIA 2007, Workshops: GAIW, AIASTS, ALEA, AMITA, BAOSW, BI, CMBSB, IROBOT, MASTA, STCS, and TEMA, Guimarães, Portugal, December 3-7, 2007, Proceedings, pp. 621-632, 2007, Springer, 978-3-540-77000-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPADS (1) ![In: 12th International Conference on Parallel and Distributed Systems, ICPADS 2006, Minneapolis, Minnesota, USA, July 12-15, 2006, pp. 169-176, 2006, IEEE Computer Society, 0-7695-2612-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICN (2) ![In: Networking - ICN 2005, 4th International Conference on Networking, ReunionIsland, France, April 17-21, 2005, Proceedings, Part II, pp. 410-416, 2005, Springer, 3-540-25338-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
27 | Esther Romero, Belén Soria |
'I' as a Pure Indexical and Metonymy as Language Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONTEXT ![In: Modeling and Using Context, 5th International and Interdisciplinary Conference, CONTEXT 2005, Paris, France, July 5-8, 2005, Proceedings, pp. 436-449, 2005, Springer, 3-540-26924-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Essays in Memory of Ole-Johan Dahl ![In: From Object-Orientation to Formal Methods, Essays in Memory of Ole-Johan Dahl, pp. 334-375, 2004, Springer, 3-540-21366-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
27 | Georg Gottlob, Gianluigi Greco, Francesco Scarcello |
Pure Nash equilibria: hard and easy games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TARK ![In: Proceedings of the 9th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2003), Bloomington, Indiana, USA, June 20-22, 2003, pp. 215-230, 2003, ACM, 1-58113-731-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR (2) ![In: 2001 IEEE Computer Society Conference on Computer Vision and Pattern Recognition (CVPR 2001), with CD-ROM, 8-14 December 2001, Kauai, HI, USA, pp. 351-357, 2001, IEEE Computer Society, 0-7695-1272-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
27 | Alan Kaplan, John V. E. Ridgway, Bradley R. Schmerl, Krishnan Sridhar, Jack C. Wileden |
Toward Pure Polylingual Persistence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POS ![In: Persistent Object Systems, 9th International Workshop, POS-9, Lillehammer, Norway, September 6-8, 2000, Revised Papers, pp. 70-83, 2000, Springer, 3-540-42735-X. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
27 | Gilles Barthe |
The Semi-Full Closure of Pure Type Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 316-325, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Vahab S. Mirrokni, Alexander Skopalik |
On the complexity of nash dynamics and sink equilibria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC ![In: Proceedings 10th ACM Conference on Electronic Commerce (EC-2009), Stanford, California, USA, July 6--10, 2009, pp. 1-10, 2009, ACM, 978-1-60558-458-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings, pp. 261-275, 2008, Springer, 978-3-540-78742-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
26 | Dimitris Fotakis 0001, Paul G. Spirakis |
Cost-Balancing Tolls for Atomic Network Congestion Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WINE ![In: Internet and Network Economics, Third International Workshop, WINE 2007, San Diego, CA, USA, December 12-14, 2007, Proceedings, pp. 179-190, 2007, Springer, 978-3-540-77104-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
23 | Lixin Mao |
Pure projective, pure injective and FP-injective modules over trivial ring extensions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(4), pp. 699-716, June 2023. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 23(18), pp. 7784, September 2023. The full citation details ...](Pics/full.jpeg) |
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). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2023 |
RDF |
|
23 | Aixin Liu, Haitao Li 0001, Ping Li, Xinrong Yang |
On Basis and Pure Nash Equilibrium of Finite Pure Harmonic Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Syst. Sci. Complex. ![In: J. Syst. Sci. Complex. 35(4), pp. 1415-1428, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Pankaj Kumar Mishra, Nishchal K. Verma |
Adaptive Control of Unknown Pure Feedback Systems with Pure State Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2210.04211, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Guang-Jing Song, Weiyang Ding, Michael K. Ng 0001 |
Low Rank Pure Quaternion Approximation for Pure Quaternion Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 42(1), pp. 58-82, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Guang-Jing Song, Weiyang Ding, Michael K. Ng 0001 |
Low Rank Pure Quaternion Approximation for Pure Quaternion Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2012.15138, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 24(16), pp. 12227-12239, 2020. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 320, pp. 26-39, 2014. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMEIT ![In: International Conference on Electronic and Mechanical Engineering and Information Technology, EMEIT 2011, Harbin, Heilongjiang, China, 12-14 August, 2011, pp. 4174-4178, 2011, IEEE, 978-1-61284-087-1. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Microelectron. Reliab. ![In: Microelectron. Reliab. 46(12), pp. 2096-2103, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
23 | Pedro V. Silva |
A note on pure and p-pure languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 39(8), pp. 579-595, 2003. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWAR ![In: Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992, pp. 211-220, 1992, North-Holland, 0-444-89876-X. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 174(3), pp. 103209, 2023. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 173(1), pp. 103045, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
23 | Gunnar Wilken |
Pure Σ2-elementarity beyond the core. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(9), pp. 103001, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Marcos Mazari-Armida |
Superstability, noetherian rings and pure-semisimple rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 172(3), pp. 102917, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
23 | Giovanni Raneri |
Introducing article numbering to Annals of Pure and Applied Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 170(11), 2019. The full citation details ...](Pics/full.jpeg) |
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]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 170(11), 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 8032 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|