Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
68 | Lian Yan, Michael Fassino, Patrick Baldasare |
Enhancing the lift under budget constraints: an application in the mutual fund industry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Eleventh ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Chicago, Illinois, USA, August 21-24, 2005, pp. 509-515, 2005, ACM, 1-59593-135-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
lift curve, mutual fund redemption, pull rate, true positive rate, neural networks, ROC curve |
68 | M. V. Mielke |
Final Lift Actions Associated with Topological Functors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 10(5), pp. 495-504, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
topological category, final lift actions |
67 | Wan J. Fokkink, Allard Kakebeen, Jun Pang 0001 |
Adapting the UPPAAL Model of a Distributed Lift System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSEN ![In: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings, pp. 81-97, 2007, Springer, 978-3-540-75697-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
67 | Feng Qin, Cheng Wang 0013, Zhenmin Li, Ho-Seop Kim, Yuanyuan Zhou, Youfeng Wu |
LIFT: A Low-Overhead Practical Information Flow Tracking System for Detecting Security Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 39th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-39 2006), 9-13 December 2006, Orlando, Florida, USA, pp. 135-148, 2006, IEEE Computer Society, 0-7695-2732-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
67 | Keck Voon Ling, Y. C. Soh |
Development of an intelligent lift monitoring system for preemptive maintenance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 491-493, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Zheng Hu, Raymond McCauley, Steve Schaeffer, Xinyan Deng |
Aerodynamics of dragonfly flight and robotic design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3061-3066, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
51 | Steven Floyd, Metin Sitti |
Design and Development of the Lifting and Propulsion Mechanism for a Biologically Inspired Water Runner Robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics ![In: IEEE Trans. Robotics 24(3), pp. 698-709, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Giovanni Simone, Francesco Carlo Morabito |
ICA-NN Based Data Fusion Approach in ECT Signal Restoration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCNN (5) ![In: Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, IJCNN 2000, Neural Computing: New Challenges and Perspectives for the New Millennium, Como, Italy, July 24-27, 2000, Volume 5, pp. 59-64, 2000, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
51 | Bernard A. Galler, R. Wagman, J. Bravatto, G. Lift, G. Kern, V. Berstis, E. Munn |
CRISP: An interactive student registration system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Annual Conference ![In: Proceedings of the ACM annual conference, Atlanta, Georgia, USA, August 27-29, 1973, pp. 283-289, 1973, ACM, 978-1-4503-7490-3. The full citation details ...](Pics/full.jpeg) |
1973 |
DBLP DOI BibTeX RDF |
|
47 | Boris G. Mirkin, Susana Nascimento, Luís Moniz Pereira |
Cluster-Lift Method for Mapping Research Activities over a Concept Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Machine Learning II ![In: Advances in Machine Learning II, Dedicated to the Memory of Professor Ryszard S. Michalski, pp. 245-257, 2010, Springer, 978-3-642-05178-4. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
Cluster-lift method, additive clustering, concept generalization, knowledge transmutation, concept tree |
47 | Wei Wang 0087, Yu Zhao, YinHua Lei, Zhihong Li |
Nanoparticle-based lift-off technique for ultra-thin nanoporous film preparation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 51(6), pp. 819-824, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
nanoparticle, lift-off, nanoporous film |
47 | Pablo Rey, Claudia A. Sagastizábal |
Convex Normalizations in Lift-and-Project Methods for 0-1 Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 116(1-4), pp. 91-112, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
disjunctive cuts, 0-1 integer programming, Branch-and-Cut, cutting planes, Lift-and-Project |
47 | Erik Steltz, Srinath Avadhanula, Ronald S. Fearing |
High lift force with 275 Hz wing beat in MFI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3987-3992, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Eduardo Camponogara, Agustinho Plucenio |
Lift-gas allocation under precedence constraints: 1-configuration inequalities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Montréal, Canada, 7-10 October 2007, pp. 2727-2732, 2007, IEEE, 978-1-4244-0990-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
47 | Paulo H. R. Nakashima, Eduardo Camponogara |
Optimization of Lift-Gas Allocation Using Dynamic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 36(2), pp. 407-414, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Ahmed Ghanmi, R. H. A. David Shaw |
Modeling and simulation of Canadian forces strategic lift strategies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1340-1348, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Denis Giguère, Nicolas Gagné, Steve Vezeau |
Use of eye-tracking in ergonomics: a field study of lift truck operators' work activity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETRA ![In: Proceedings of the Eye Tracking Research & Application Symposium, ETRA 2006, San Diego, California, USA, March 27-29, 2006, pp. 37, 2006, ACM, 1-59593-305-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
47 | Massimo Bergamasco, S. Perotti, Carlo Alberto Avizzano, Marcello Angerilli, Marcello Carrozzino, Emanuele Ruffaldi |
Fork-lift truck simulator for training in industrial environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 10th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2005, September 19-22, 2005, Catania, Italy, 2005, IEEE, 0-7803-9401-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
47 | Wen-Yang Lin, Ming-Cheng Tseng, Ja-Hwung Su |
A Confidence-Lift Support Specification for Interesting Associations Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 6th Pacific-Asia Conference, PAKDD 2002, Taipei, Taiwan, May 6-8, 2002, Proceedings, pp. 148-158, 2002, Springer, 3-540-43704-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
41 | Roger Bostelman, James S. Albus |
Sensor experiments to facilitate robot use in assistive environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: Proceedings of the 1st ACM International Conference on Pervasive Technologies Related to Assistive Environments, PETRA 2008, Athens, Greece, July 16-18, 2008, pp. 8, 2008, ACM, 978-1-60558-067-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
localization sensors, patient lift/transfer, mobility, robot, rehabilitation |
41 | Egon Balas |
Projection, Lifting and Extended Formulation in Integer and Combinatorial Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Oper. Res. ![In: Ann. Oper. Res. 140(1), pp. 125-161, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
sequential convexification, 0-1 programming, disjunctive programming, lift-and-project |
41 | Takahiro Fujita, Yoshinobu Maeda, Masazumi Katayama |
Independence of Perception and Action for Grasping Positions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (1) ![In: Neural Information Processing, 14th International Conference, ICONIP 2007, Kitakyushu, Japan, November 13-16, 2007, Revised Selected Papers, Part I, pp. 1021-1030, 2007, Springer, 978-3-540-69154-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
visual perception, Grasping, action |
41 | Yonatan Bilu, Nathan Linial |
Lifts, Discrepancy and Nearly Optimal Spectral Gap*. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 26(5), pp. 495-519, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C22, 05C35, 05C80, 05C50 |
41 | Steven Floyd, Terence Keegan, John Palmisano, Metin Sitti |
A Novel Water Running Robot Inspired by Basilisk Lizards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 5430-5436, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
41 | Yonatan Bilu, Nathan Linial |
Constructing Expander Graphs by 2-Lifts and Discrepancy vs. Spectral Gap. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 45th Symposium on Foundations of Computer Science (FOCS 2004), 17-19 October 2004, Rome, Italy, Proceedings, pp. 404-412, 2004, IEEE Computer Society, 0-7695-2228-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Lifts of Graphs, Signed Graphs, Expander Graphs, Discrepancy, Lifts |
37 | David Pollak, Steve Vinoski |
A Chat Application in Lift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Internet Comput. ![In: IEEE Internet Comput. 14(3), pp. 88-91, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
functional programming, Web development, Lift, Scala |
37 | Victor S. Y. Lo |
The True Lift Model - A Novel Data Mining Approach to Response Modeling in Database Marketing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 4(2), pp. 78-86, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
customer development, interaction effect, response modeling, treatment effect, true lift, upselling and cross-selling, data mining, knowledge discovery, predictive modeling, customer relationship management, database marketing |
37 | Gregory Piatetsky-Shapiro, Sam Steingold |
Measuring Lift Quality in Database Marketing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGKDD Explor. ![In: SIGKDD Explor. 2(2), pp. 76-80, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
lift curves, measurement, ROC, database marketing |
37 | Gregory Piatetsky-Shapiro, Brij M. Masand |
Estimating Campaign Benefits and Modeling Lift. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Fifth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, San Diego, CA, USA, August 15-18, 1999, pp. 185-193, 1999, ACM, 1-58113-143-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
estimation, lift, database marketing |
32 | Jianchao Zhao, Wei Li 0072, Xin'an Yuan, Xiaokang Yin 0001, Qinyu Chen, Jianming Zhao |
Lift-Off Point of Intersection for Eliminating Lift-Off Noise in Alternating Current Field Measurement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Instrum. Meas. ![In: IEEE Trans. Instrum. Meas. 72, pp. 1-9, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | José Luis Figueroa González, Alain Quilliot, Hélène Toussaint, Annegret Wagler |
Managing Time Expanded Networks through Project and Lift: the Lift Issue. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LAGOS ![In: Proceedings of the XII Latin-American Algorithms, Graphs and Optimization Symposium, LAGOS 2023, Huatulco, Mexico, September 18-22, 2023., pp. 241-249, 2023, Elsevier. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
32 | Dexuan Zhu, Peng Wang 0017, Xiaoqing Han, Wenping Qin |
Distributed lift operating control in building lift system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIA ![In: IEEE International Conference on Information and Automation, ICIA 2015, Lijiang, China, August 8-10, 2015, pp. 2471-2475, 2015, IEEE, 978-1-4673-9104-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
32 | Zhili Tang, Jacques Périaux, Gabriel Bugeda, Eugenio Oñate |
Lift maximization with uncertainties for the optimization of high lift devices using Multi-Criterion Evolutionary Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Congress on Evolutionary Computation ![In: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2009, Trondheim, Norway, 18-21 May, 2009, pp. 2324-2331, 2009, IEEE, 978-1-4244-2958-5. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Fang Lin Luo |
Six self-lift DC-DC converters, voltage lift technique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 48(6), pp. 1268-1272, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | MohammadHossein Bateni, Moses Charikar, Venkatesan Guruswami |
MaxMin allocation via degree lower-bounded arborescences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 543-552, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
approximation algorithms, linear programming, graphs, lift-and-project |
31 | Moses Charikar, Konstantin Makarychev, Yury Makarychev |
Integrality gaps for Sherali-Adams relaxations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 283-292, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Sherali-Adams hierarchy, lift-and-project methods, local-global metric spaces |
31 | Claire Mathieu, Alistair Sinclair |
Sherali-adams relaxations of the matching polytope. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 41st Annual ACM Symposium on Theory of Computing, STOC 2009, Bethesda, MD, USA, May 31 - June 2, 2009, pp. 293-302, 2009, ACM, 978-1-60558-506-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
0-1 programming, matching polytope, maximum matching, linear programming relaxation, integrality gap, lift-and-project |
31 | Lewis Ntaimo, Matthew W. Tanner |
Computations with disjunctive cuts for two-stage stochastic mixed 0-1 integer programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Glob. Optim. ![In: J. Glob. Optim. 41(3), pp. 365-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Lift-and-project cuts, Integer programming, Stochastic programming, Disjunctive programming |
31 | Stefan S. Dantchev |
Rank complexity gap for Lovász-Schrijver and Sherali-Adams proof systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing, San Diego, California, USA, June 11-13, 2007, pp. 311-317, 2007, ACM, 978-1-59593-631-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lovász-Schrijver proof system, complexity gap theorems, lift and project methods, lower bounds, propositional proof complexity |
31 | Carlos Ordonez 0001, Norberto F. Ezquerra, Cesar A. Santana |
Constraining and summarizing association rules in medical data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Knowl. Inf. Syst. ![In: Knowl. Inf. Syst. 9(3), pp. 1-2, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Search constraint, Association rules, Cover, Lift |
31 | Liang Zhao, Qingfeng Huang, Xinyan Deng, Sanjay Sane |
The effect of chord-wise flexibility on the aerodynamic force generation of flapping wings: Experimental studies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 4207-4212, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Steven Floyd, Serhat Adilak, Steven Ramirez, Raphael Rogman, Metin Sitti |
Performance of different foot designs for a water running robot. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2008 IEEE International Conference on Robotics and Automation, ICRA 2008, May 19-23, 2008, Pasadena, California, USA, pp. 244-250, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Fuxing Zhang, Rong Zhu, Peng Liu, Wei Xiong, Xudong Liu, Zhao-Ying Zhou |
A Novel Micro Air Vehicle with Flexible Wing Integrated with On-board Electronic Devices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAM ![In: 2008 IEEE Conference on Robotics, Automation and Mechatronics, RAM 2008, 21-24 September 2008, Chengdu, China, pp. 252-257, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Christine A. Kelley, Deepak Sridhara |
Pseudocodewords of Tanner Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(11), pp. 4013-4038, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Yoshiyuki Higashi, Kazuo Tanaka, Hiroshi Ohtake, Hua O. Wang |
Construction of simulation model of a flying robot with variable attack angle mechanism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 1588-1593, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Chao Gao, Ira Hoffman, Thomas Panzarella, John R. Spletzer |
ATRS - A Technology-Based Solution to Automobility for Wheelchair Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSR ![In: Field and Service Robotics, Results of the 6th International Conference, FSR 2007, Chamonix, France, 9th - 12th July 2007, pp. 485-494, 2007, Springer, 978-3-540-75403-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Derek H. Sleeman, Trevor Runcie, Peter M. D. Gray |
Reuse: Revisiting Sisyphus-VT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EKAW ![In: Managing Knowledge in a World of Networks, 15th International Conference, EKAW 2006, Podebrady, Czech Republic, October 2-6, 2006, Proceedings, pp. 59-66, 2006, Springer, 3-540-46363-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | José Aguilar 0001 |
An Artificial Immune System for Fault Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEA/AIE ![In: Innovations in Applied Artificial Intelligence, 17th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE 2004, Ottawa, Canada, May 17-20, 2004. Proceedings, pp. 219-228, 2004, Springer, 3-540-22007-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | C. Germain, Ying Y. Tsui |
Femtosecond Laser Induced Forward Transfer of Materials. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2003 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2003), 20-23 July 2003, Banff, Alberta, Canada, pp. 44-47, 2003, IEEE Computer Society, 0-7695-1947-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Eva-Lotta Sallnäs |
Improved Precision in Mediated Collaborative Manipulation of Objects by Haptic Force Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haptic Human-Computer Interaction ![In: Haptic Human-Computer Interaction, First International Workshop, Glasgow, UK, August 31 - September 1, 2000, Proceedings, pp. 69-75, 2000, Springer, 3-540-42356-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
31 | Frank E. Pollick, Chris Chizk, Charlotte Hager-Ross, Mary M. Hayhoe |
Implicit Accuracy Constraints in Two-Fingered Grasps of Virtual Objects with Haptic Feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haptic Human-Computer Interaction ![In: Haptic Human-Computer Interaction, First International Workshop, Glasgow, UK, August 31 - September 1, 2000, Proceedings, pp. 98-107, 2000, Springer, 3-540-42356-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
26 | Egon Balas, Pierre Bonami |
New Variants of Lift-and-Project Cut Generation from the LP Tableau: Open Source Implementation and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 12th International IPCO Conference, Ithaca, NY, USA, June 25-27, 2007, Proceedings, pp. 89-103, 2007, Springer, 978-3-540-72791-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
branch and cut algorithms, integer programming |
26 | Yoshiyuki Ohmura, Yasuo Kuniyoshi |
Humanoid robot which can lift a 30kg box by whole body contact and tactile feedback. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 1136-1141, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
26 | Qiuli Yu, Vincent G. Duffy, John McGinley, Zachary Rowland |
Productivity simulation with promodel for an automotive assembly workstation involving a lift assist device. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 1935-1939, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Ray Jarvis |
A Four Wheel Drive Boom Lift Robot for Bush Fire Fighting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISER ![In: Experimental Robotics, The 10th International Symposium on Experimental Robotics [ISER '06, July 6-10, 2006, Rio de Janeiro, Brazil], pp. 245-255, 2006, Springer, 978-3-540-77456-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
26 | Jun Pang 0001, Bart Karstens, Wan J. Fokkink |
Analyzing the Redesign of a Distributed Lift System in UPPAAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings, pp. 504-522, 2003, Springer, 3-540-20461-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
26 | Sebastián Ceria, Gábor Pataki |
Solving Integer and Disjunctive Programs by Lift and Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 6th International IPCO Conference, Houston, Texas, USA, June 22-24, 1998, Proceedings, pp. 271-283, 1998, Springer, 3-540-64590-X. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
26 | John H. Major |
I lift the lamp beside the golden door]. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 15th Annual ACM SIGUCCS Conference on User Services, Kansas City, Missouri, USA, 1987, pp. 449-452, 1987, ACM, 0-89791-241-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
21 | Ronaldo C. Prati, Gustavo E. A. P. A. Batista, Maria Carolina Monard |
A Survey on Graphical Methods for Classification Predictive Performance Evaluation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 23(11), pp. 1601-1618, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
cost curves, lift graphs, data mining, performance evaluation, Machine learning, ROC curves |
21 | Hanif D. Sherali, Leo Liberti |
Reformulation-Linearization Technique for Global Optimization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3263-3268, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tight relaxations, Model reformulation, Mixed-integer 0-1 program, Factorable programs, Reduced relaxations, Convex hull, Valid inequalities, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs, Convex envelopes |
21 | Yushan Zhu |
Mixed-Integer Nonlinear Optimization: A Disjunctive Cutting Plane Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 2230-2234, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Disjunctive cutting plane, Branch-and-cut, Mixed-integer nonlinear programming, MINLP, Lift-and-project |
21 | Karla L. Hoffman, Manfred Padberg |
Set Covering, Packing and Partitioning Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 3482-3486, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project |
21 | Egon Balas |
Integer Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 1617-1624, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral methods, Combinatorial optimization, Integer programming, Enumeration, Disjunctive programming, Lift-and-project |
21 | Hanif D. Sherali |
Disjunctive Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Encyclopedia of Optimization ![In: Encyclopedia of Optimization, Second Edition, pp. 784-787, 2009, Springer, 978-0-387-74758-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Polyhedral annexation, Facial disjunctive program, Nondominated cuts, Tight relaxations, Model reformulation, Mixed integer 0-1 programs, Convex hull, Cutting planes, Facet, Valid inequalities, Disjunctive programming, Nonconvex programs, Lift-and-project, Reformulation-linearization technique, Polynomial programs |
21 | Pradip Kumar Bala |
A technique for mining negative association rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bangalore Compute Conf. ![In: Proceedings of the 2nd Bangalore Annual Compute Conference, Compute 2009, Bangalore, India, January 9-10, 2009, pp. 23, 2009, ACM, 978-1-60558-476-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
data mining software, data mining, association rule, lift, negative association rule |
21 | Samuel Burer, Dieter Vandenbussche |
A finite branch-and-bound algorithm for nonconvex quadratic programming via semidefinite relaxations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 113(2), pp. 259-282, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Nonconcave quadratic maximization, Nonconvex quadratic programming, Lift-and-project relaxations, Branch-and-bound, Semidefinite programming |
21 | Maheshanand, Siri Krishan Wasan |
On Quasi-cyclic Codes over Integer Residue Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 17th International Symposium, AAECC-17, Bangalore, India, December 16-20, 2007, Proceedings, pp. 330-336, 2007, Springer, 978-3-540-77223-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Hensel’s lift, Galois rings, Quasi-cyclic codes, circulant matrices |
21 | Mark Nicholas Charles Rhodes |
Rank Lower Bounds for the Sherali-Adams Operator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings, pp. 648-659, 2007, Springer, 978-3-540-73000-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Lift and Project Proof Systems, Rank Lower Bounds, Sherali-Adams Relaxation, Propositional Proof Complexity |
21 | Rich Caruana, Alexandru Niculescu-Mizil |
Data mining in metric space: an empirical analysis of supervised learning performance criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KDD ![In: Proceedings of the Tenth ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Seattle, Washington, USA, August 22-25, 2004, pp. 69-78, 2004, ACM, 1-58113-888-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
performance evaluation, metrics, supervised learning, precision, lift, recall, cross entropy, ROC |
20 | Daisaku Azuma, Jameson Lee, Keisuke Narumi, Fumihito Arai |
Fabrication and feedback control of an articulated microarm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3073-3078, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Daniel Watman, Tomonari Furukawa |
A parametric study of flapping wing performance using a robotic flapping wing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2009 IEEE International Conference on Robotics and Automation, ICRA 2009, Kobe, Japan, May 12-17, 2009, pp. 3638-3643, 2009, IEEE. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Pingguo Huang, Yutaka Ishibashi, Norishige Fukushima, Shinji Sugawara |
Collaborative haptic play with building blocks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Computer Entertainment Technology ![In: Proceedings of the International Conference on Advances in Computer Entertainment Technology, ACE 2009, Athens, Greece, October 29-31, 2009, pp. 277-280, 2009, ACM, 978-1-60558-864-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
play with building blocks, collaborative work, packet loss, network latency, subjective assessment, haptic media |
20 | Veaceslav Arabagi, Metin Sitti |
Simulation and analysis of a passive pitch reversal flapping wing mechanism for an aerial robotic platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems, September 22-26, 2008, Acropolis Convention Center, Nice, France, pp. 1260-1265, 2008, IEEE, 978-1-4244-2057-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Oliver Ribock, Urban Richter, Hartmut Schmeck |
Using Organic Computing to Control Bunching Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARCS ![In: Architecture of Computing Systems - ARCS 2008, 21st International Conference, Dresden, Germany, February 25-28, 2008, Proceedings, pp. 232-244, 2008, Springer, 978-3-540-78152-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Ron S. Kenett, Silvia Salini |
Relative Linkage Disequilibrium: A New Measure for Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDM ![In: Advances in Data Mining. Medical Applications, E-Commerce, Marketing, and Theoretical Aspects, 8th Industrial Conference, ICDM 2008, Leipzig, Germany, July 16-18, 2008, Proceedings, pp. 189-199, 2008, Springer, 978-3-540-70717-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
simplex representation, text mining, contingency table |
20 | Yasutaka Kamei, Akito Monden, Shuji Morisaki, Ken-ichi Matsumoto |
A hybrid faulty module prediction using association rule mining and logistic regression analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEM ![In: Proceedings of the Second International Symposium on Empirical Software Engineering and Measurement, ESEM 2008, October 9-10, 2008, Kaiserslautern, Germany, pp. 279-281, 2008, ACM, 978-1-59593-971-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
fault-prone module prediction, logistic regression analysis, empirical study, association rule mining |
20 | Hitoshi Arisumi, Jean-Rémy Chardonnet, Abderrahmane Kheddar, Kazuhito Yokoi |
Dynamic Lifting Motion of Humanoid Robots. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: 2007 IEEE International Conference on Robotics and Automation, ICRA 2007, 10-14 April 2007, Roma, Italy, pp. 2661-2667, 2007, IEEE. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Roger Bostelman, James S. Albus |
A multipurpose robotic wheelchair and rehabilitation device for the home. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 3348-3353, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Robert J. Wood |
Liftoff of a 60mg flapping-wing MAV. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2007 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 29 - November 2, 2007, Sheraton Hotel and Marina, San Diego, California, USA, pp. 1889-1894, 2007, IEEE, 978-1-4244-0912-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Carlos Ordonez 0001 |
Association Rule Discovery With the Train and Test Approach for Heart Disease Prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Technol. Biomed. ![In: IEEE Trans. Inf. Technol. Biomed. 10(2), pp. 334-343, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Ashish Deshpande, Jonathan E. Luntz |
Behaviors for Physical Cooperation Between Robots for Mobility Improvement: Hardware Results and Use of Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2006 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2006, October 9-15, 2006, Beijing, China, pp. 2212-2218, 2006, IEEE, 1-4244-0258-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Michael Jackson 0001 |
Testing the Machine in the World. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Haifa Verification Conference ![In: Hardware and Software, Verification and Testing, Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers, pp. 198-203, 2006, Springer, 978-3-540-70888-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
20 | Nathan Linial, Eyal Rozenman |
Random Lifts Of Graphs: Perfekt Matchings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 25(4), pp. 407-424, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000): 05C80, 05C70 |
20 | Xiaohua Hu 0001 |
A Data Mining Approach for Retailing Bank Customer Attrition Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Intell. ![In: Appl. Intell. 22(1), pp. 47-60, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
attrition analysis, data mining, classification method |
20 | Tonderai Maswera, Ray Dawson, Janet Edwards |
Analysis of Usability and Accessibility Errors of E-Commerce Websites of Tourist Organisations in Four African Countries. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ENTER ![In: Information and Communication Technologies in Tourism, ENTER 2005, Proceedings of the International Conference in Innsbruck, Austria, 2005, pp. 531-542, 2005, Springer, 978-3-211-24148-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Internet, World Wide Web, usability, e-commerce, accessibility, websites |
20 | Harini Ramaprasad, Frank Mueller 0001 |
Bounding Worst-Case Data Cache Behavior by Analytically Deriving Cache Reference Patterns. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real-Time and Embedded Technology and Applications Symposium ![In: 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 7-10 March 2005, San Francisco, CA, USA, pp. 148-157, 2005, IEEE Computer Society, 0-7695-2302-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Iannis Tourlakis |
Towards Optimal Integrality Gaps for Hypergraph Vertex Cover in the Lovász-Schrijver Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPROX-RANDOM ![In: Approximation, Randomization and Combinatorial Optimization, Algorithms and Techniques, 8th International Workshop on Approximation Algorithms for Combinatorial Optimization Problems, APPROX 2005 and 9th InternationalWorkshop on Randomization and Computation, RANDOM 2005, Berkeley, CA, USA, August 22-24, 2005, Proceedings, pp. 233-244, 2005, Springer, 3-540-28239-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Michael Hahsler, Kurt Hornik, Thomas Reutterer |
Implications of Probabilistic Data Modeling for Mining Association Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GfKl ![In: From Data and Information Analysis to Knowledge Engineering, Proceedings of the 29th Annual Conference of the Gesellschaft für Klassifikation e.V., University of Magdeburg, March 9-11, 2005, pp. 598-605, 2005, Springer, 978-3-540-31313-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Azer Bestavros, Adam D. Bradley, Assaf J. Kfoury, Ibrahim Matta |
Safe compositional specification of networking systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 34(3), pp. 21-34, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
QoS theory, service composition, type systems, control theory |
20 | Hiroshi Igarashi, Masayoshi Kakikura |
Path and Posture Planning for Walking Robots by Artificial Potential Field Method. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 2165-2170, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Reynald Lercier, David Lubicz |
Counting Points on Elliptic Curves over Finite Fields of Small Characteristic in Quasi Quadratic Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Advances in Cryptology - EUROCRYPT 2003, International Conference on the Theory and Applications of Cryptographic Techniques, Warsaw, Poland, May 4-8, 2003, Proceedings, pp. 360-373, 2003, Springer, 3-540-14039-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
canonical lifts, AGM, Elliptic curves |
20 | Rodrigo Surmas, Luís Orlando Emerich dos Santos, Paulo Cesar Philippi |
Flow Interference in Bluff Body Wakes. ![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 I, pp. 967-976, 2003, Springer, 3-540-40194-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | J. B. Wells, Detlef Plump, Fairouz Kamareddine |
Diagrams for Meaning Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings, pp. 88-106, 2003, Springer, 3-540-40254-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Jean Marc Couveignes, Thierry Henocq |
Action of Modular Correspondences around CM Points. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ANTS ![In: Algorithmic Number Theory, 5th International Symposium, ANTS-V, Sydney, Australia, July 7-12, 2002, Proceedings, pp. 234-243, 2002, Springer, 3-540-43863-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Xiaohua Hu 0001 |
Comparison of Classification Methods for Customer Attrition Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rough Sets and Current Trends in Computing ![In: Rough Sets and Current Trends in Computing, Third International Conference, RSCTC 2002, Malvern, PA, USA, October 14-16, 2002, Proceedings, pp. 487-492, 2002, Springer, 3-540-44274-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Michael Perregaard, Egon Balas |
Generating Cuts from Multiple-Term Disjunctions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPCO ![In: Integer Programming and Combinatorial Optimization, 8th International IPCO Conference, Utrecht, The Netherlands, June 13-15, 2001, Proceedings, pp. 348-360, 2001, Springer, 3-540-42225-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Miroslav Svéda |
An Approach to Safety Critical Systems Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCAST ![In: Computer Aided Systems Theory - EUROCAST'97, A Selection of Papers from the 6th International Workshop on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 24-28, 1997, Proceedings, pp. 34-49, 1997, Springer, 3-540-63811-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
20 | Andy Evans |
Specifying & Verifying Concurrent Systems Using Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '94: Industrial Benefit of Formal Methods, Second International Symposium of Formal Methods Europe, Barcelona, Spain, October 24-18, 1994, Proceedings, pp. 366-380, 1994, Springer, 3-540-58555-9. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Friedhelm Hinz |
Questions of Decidability for Context-free Chain Code Picture Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMYCS ![In: Machines, Languages, and Complexity, 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988, Proceedings, pp. 2-11, 1988, Springer, 3-540-51516-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Wei Tian, Jie Huang 0020, William Singhose |
Control of Cooperative-Transportation Dynamics in Twin-Lift Cranes Suspending a Liquid Container. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Electron. ![In: IEEE Trans. Ind. Electron. 71(4), pp. 4016-4025, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|