Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
18 | Marco T. Morazán, Lindsey M. Reams, Nicholas R. Olson, Shamil Dzhatdoyev |
Memoized Flat Closures for CPS - or Taming Memory Allocation for \lambda λ in CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TFP ![In: Trends in Functional Programming - 18th International Symposium, TFP 2017, Canterbury, UK, June 19-21, 2017, Revised Selected Papers, pp. 1-18, 2017, Springer, 978-3-319-89718-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Davide Ancona, Giorgio Delzanno, Luca Franceschini, Maurizio Leotta, Enrico Prampolini, Marina Ribaudo, Filippo Ricca |
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RP ![In: Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings, pp. 59-74, 2017, Springer, 978-3-319-67088-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Suvam Patra, Himanshu Aggarwal, Himani Arora, Subhashis Banerjee, Chetan Arora 0001 |
Computing Egomotion with Local Loop Closures for Egocentric Videos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WACV ![In: 2017 IEEE Winter Conference on Applications of Computer Vision, WACV 2017, Santa Rosa, CA, USA, March 24-31, 2017, pp. 454-463, 2017, IEEE Computer Society, 978-1-5090-4822-9. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
18 | Vitor A. M. Jorge |
Enabling loop-closures and revisits in active SLAM techiniques by using dynamic boundary conditions an local potential distortions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2017 |
RDF |
|
18 | Cezar Câmpeanu, Nelma Moreira, Rogério Reis |
Distinguishability Operations and Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 148(3-4), pp. 243-266, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Isabella Mastroeni, Roberto Giacobazzi |
Weakening Additivity in Adjoining Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 33(3), pp. 503-516, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Kerem Akartunali, Ioannis Fragkos, Andrew J. Miller, Tao Wu 0004 |
Local Cuts and Two-Period Convex Hull Closures for Big-Bucket Lot-Sizing Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INFORMS J. Comput. ![In: INFORMS J. Comput. 28(4), pp. 766-780, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | M. Paul Laiu, Cory D. Hauck, Ryan G. McClarren, Dianne P. O'Leary, André L. Tits |
Positive Filtered PN Moment Closures for Linear Kinetic Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Numer. Anal. ![In: SIAM J. Numer. Anal. 54(6), pp. 3214-3238, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Florian Schneider 0004 |
Kershaw closures for linear transport equations in slab geometry I: Model derivation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 322, pp. 905-919, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Florian Schneider 0004 |
Kershaw closures for linear transport equations in slab geometry II: High-order realizability-preserving discontinuous-Galerkin schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 322, pp. 920-935, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Weixiong Zheng, Ryan G. McClarren |
Moment closures based on minimizing the residual of the PN angular expansion in radiation transport. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 314, pp. 682-699, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Prateek Karandikar, Matthias Niewerth, Philippe Schnoebelen |
On the state complexity of closures and interiors of regular languages with subwords and superwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 610, pp. 91-107, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Hongliang Lu, Qinglin Yu |
Generalization of Matching Extensions in Graphs (IV): Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graphs Comb. ![In: Graphs Comb. 32(5), pp. 2009-2018, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Jan Hubicka, Jaroslav Nesetril |
All those Ramsey classes (Ramsey classes with closures and forbidden homomorphisms). ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1606.07979, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
18 | Sanjeeb Dash, Oktay Günlük, Diego A. Morán R. |
On the polyhedrality of cross and quadrilateral closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. ![In: Math. Program. 160(1-2), pp. 245-270, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Evelien van der Hurk, Haris N. Koutsopoulos, Nigel H. M. Wilson, Leo G. Kroon, Gábor Maróti |
Shuttle Planning for Link Closures in Urban Public Transport Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Transp. Sci. ![In: Transp. Sci. 50(3), pp. 947-965, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Zakaria Laskar, Sami Huttunen, Daniel Herrera C., Esa Rahtu, Juho Kannala |
Robust loop closures for scene reconstruction by combining odometry and visual correspondences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 2016 IEEE International Conference on Image Processing, ICIP 2016, Phoenix, AZ, USA, September 25-28, 2016, pp. 2603-2607, 2016, IEEE, 978-1-4673-9961-6. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Matthew Hague, Jonathan Kochems, C.-H. Luke Ong |
Unboundedness and downward closures of higher-order pushdown automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2016, St. Petersburg, FL, USA, January 20 - 22, 2016, pp. 151-163, 2016, ACM, 978-1-4503-3549-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Filip Konecný |
PTIME Computation of Transitive Closures of Octagonal Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pp. 645-661, 2016, Springer, 978-3-662-49673-2. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Agnieszka D. Bogobowicz, Ryszard Janicki |
On Approximation of Relations by Generalized Closures and Generalized Kernels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IJCRS ![In: Rough Sets - International Joint Conference, IJCRS 2016, Santiago de Chile, Chile, October 7-11, 2016, Proceedings, pp. 120-130, 2016, 978-3-319-47159-4. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Lara Houston, Steven J. Jackson |
Caring for the "next billion" mobile handsets: opening proprietary closures through the work of repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTD ![In: Proceedings of the Eighth International Conference on Information and Communication Technologies and Development, ICTD 2016, Ann Arbor, MI, USA, June 03 - 06, 2016, pp. 10, 2016, ACM, 978-1-4503-4306-0. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
18 | Rudolf Berghammer, Sebastian Fischer 0001 |
Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive-transitive closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Log. Algebraic Methods Program. ![In: J. Log. Algebraic Methods Program. 84(3), pp. 341-358, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Warren P. Adams, Hanif D. Sherali |
RLT insights into lift-and-project closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Optim. Lett. ![In: Optim. Lett. 9(1), pp. 19-39, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Ju Lynn Ong, Danyang Kong, Tiffany T. Y. Chia, Jesisca Tandi, B. T. Thomas Yeo, Michael W. L. Chee |
Co-activated yet disconnected - Neural correlates of eye closures when trying to stay awake. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NeuroImage ![In: NeuroImage 118, pp. 553-562, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Graham W. Alldredge, Florian Schneider 0004 |
A realizability-preserving discontinuous Galerkin scheme for entropy-based moment closures for linear kinetic equations in one space dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 295, pp. 665-684, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | K. D. Jarman Jr., Alexandre M. Tartakovsky |
Erratum: A Comparison of Closures for Stochastic Advection-Diffusion Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM/ASA J. Uncertain. Quantification ![In: SIAM/ASA J. Uncertain. Quantification 3(1), pp. 265-266, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Peter Bürgisser, Christian Ikenmeyer |
Fundamental invariants of orbit closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1511.02927, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Georg Zetzsche |
An approach to computing downward closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1503.01068, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Matthew Hague, Jonathan Kochems, C.-H. Luke Ong |
Unboundedness and Downwards Closures of Higher-Order Pushdown Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1507.03304, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Nageswara Rao Vemuri, Balasubramaniam Jayaram |
The ⊛-composition of fuzzy implications: Closures with respect to properties, powers and families. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 275, pp. 58-87, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Jelena Ignjatovic, Miroslav Ciric 0001, Branimir Seselja, Andreja Tepavcevic |
Fuzzy relational inequalities and equations, fuzzy quasi-orders, closures and openings of fuzzy sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 260, pp. 1-24, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Sho Tanimoto, James Tanis |
The distribution of S-integral points on SL2-orbit closures of binary forms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 92(3), pp. 760-777, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Tiago Simas, Luis M. Rocha |
Distance closures on complex networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Netw. Sci. ![In: Netw. Sci. 3(2), pp. 227-268, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Willem A. de Graaf |
Orbit Closures of Linear Algebraic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Algebra and Polynomials ![In: Computer Algebra and Polynomials - Applications of Algebra and Number Theory, pp. 76-93, 2015, Springer, 978-3-319-15080-2. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Jingdong Wang 0001, Jing Wang 0068, Qifa Ke, Gang Zeng, Shipeng Li 0001 |
Fast Approximate K-Means via Cluster Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Multimedia Data Mining and Analytics ![In: Multimedia Data Mining and Analytics - Disruptive Innovation, pp. 373-395, 2015, Springer, 978-3-319-14997-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Timo Röhling, Jennifer Mack, Dirk Schulz 0001 |
A fast histogram-based similarity measure for detecting loop closures in 3-D LIDAR data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2015, Hamburg, Germany, September 28 - October 2, 2015, pp. 736-741, 2015, IEEE, 978-1-4799-9994-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Georg Zetzsche |
An Approach to Computing Downward Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages, and Programming - 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II, pp. 440-451, 2015, Springer, 978-3-662-47665-9. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Chao Gao, Robert Harle |
Sequence-based magnetic loop closures for automated signal surveying. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPIN ![In: 2015 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2015, Banff, AB, Canada, October 13-16, 2015, pp. 1-12, 2015, IEEE, 978-1-4673-8402-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Takaaki Shiratori, Jérôme Berclaz, Michael Harville, Chintan Shah, Taoyu Li, Yasuyuki Matsushita, Stephen Shiller |
Efficient Large-Scale Point Cloud Registration Using Loop Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DV ![In: 2015 International Conference on 3D Vision, 3DV 2015, Lyon, France, October 19-22, 2015, pp. 232-240, 2015, IEEE Computer Society, 978-1-4673-8332-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Georg Zetzsche |
Computing Downward Closures for Stacked Counter Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: 32nd International Symposium on Theoretical Aspects of Computer Science, STACS 2015, March 4-7, 2015, Garching, Germany, pp. 743-756, 2015, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-939897-78-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Ramón González del Campo, Luis Garmendia |
'Only comparable' T -transitive property and its closures for IVFRs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA-EUSFLAT ![In: 2015 Conference of the International Fuzzy Systems Association and the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT-15), Gijón, Spain., June 30, 2015., 2015, Atlantis Press, 978-94-62520-77-6. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
18 | Grzegorz Filcek, Dariusz Gasior, Maciej S. Hojda, Jerzy Józefczyk |
Joint Train Rescheduling and Track Closures Planning: Model and Solution Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISAT (1) ![In: Information Systems Architecture and Technology: Proceedings of 36th International Conference on Information Systems Architecture and Technology - ISAT 2015 - Part I, Karpacz, Poland, September 20-22, 2015, pp. 215-225, 2015, Springer, 978-3-319-28553-5. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
18 | Robert C. Valentini |
Galois closures of quartic subfields of rational function fields. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Finite Fields Their Appl. ![In: Finite Fields Their Appl. 26, pp. 100-103, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Hélène Fargier, Pierre Marquis |
Disjunctive closures for knowledge compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 216, pp. 129-162, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Graham W. Alldredge, Cory D. Hauck, Dianne P. O'Leary, André L. Tits |
Adaptive change of basis in entropy-based moment closures for linear kinetic equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 258, pp. 489-508, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Tatiana Jajcayová, Edita Pelantová, Stepán Starosta |
Palindromic closures using multiple antimorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 533, pp. 37-45, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Federico Galetto |
Computational Methods for Orbit Closures in a Representation with Finitely Many Orbits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 23(3), pp. 310-321, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Filip Konecný |
PTIME Computation of Transitive Closures of Octagonal Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1402.2102, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Prateek Karandikar, Philippe Schnoebelen |
On the state complexity of closures and interiors of regular languages with subwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1406.0690, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Georg Zetzsche |
Computing downward closures for stacked counter automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1409.7922, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
18 | Yong-Dian Jian, Frank Dellaert |
iSPCG: Incremental subgraph-preconditioned conjugate gradient method for online SLAM with many loop-closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2014, Chicago, IL, USA, September 14-18, 2014, pp. 2647-2653, 2014, IEEE, 978-1-4799-6931-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Prateek Karandikar, Philippe Schnoebelen |
On the State Complexity of Closures and Interiors of Regular Languages with Subwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DCFS ![In: Descriptional Complexity of Formal Systems - 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings, pp. 234-245, 2014, Springer, 978-3-319-09703-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Heather Miller, Philipp Haller, Martin Odersky |
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and Distribution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28 - August 1, 2014. Proceedings, pp. 308-333, 2014, Springer, 978-3-662-44201-2. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Carlos Cortinhas, Fernando J. Barros |
Extending Groovy's Reification and Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WorldCIST (2) ![In: New Perspectives in Information Systems and Technologies, Volume 2 [WorldCIST'14, Madeira Island, Portugal, April 15-18, 2014], pp. 1-7, 2014, Springer, 978-3-319-05947-1. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Nikita Danilenko |
Functional Kleene Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation - 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers, pp. 241-258, 2014, Springer, 978-3-319-17821-9. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
18 | Ozgur Merih Araz, Tim Lant, John W. Fowler, Megan Jehn |
Simulation modeling for pandemic decision making: A case study with bi-criteria analysis on school closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Decis. Support Syst. ![In: Decis. Support Syst. 55(2), pp. 564-575, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Marco Bellia, M. Eugenia Occhiuto |
Java SAM Typed Closures: A Sound and Complete Type Inference System for Nominal Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 128(1-2), pp. 17-33, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | P. Ruankong, Songkiat Sumetkijakan |
Essential closures and supports of multivariate copulas. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Approx. Reason. ![In: Int. J. Approx. Reason. 54(6), pp. 762-768, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Gennadiy Averkov, Michele Conforti, Alberto Del Pia, Marco Di Summa, Yuri Faenza |
On the Convergence of the Affine Hull of the Chvátal-Gomory Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 27(3), pp. 1492-1502, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | James McDonald, Manuel Torrilhon |
Affordable robust moment closures for CFD based on the maximum-entropy hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 251, pp. 500-523, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Bernd R. Noack, Robert K. Niven |
A hierarchy of maximum entropy closures for Galerkin systems of incompressible flows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 65(10), pp. 1558-1574, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Naoyuki Kamiyama |
A note on the serial dictatorship with project closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Oper. Res. Lett. ![In: Oper. Res. Lett. 41(5), pp. 559-561, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | K. D. Jarman Jr., Alexandre M. Tartakovsky |
A Comparison of Closures for Stochastic Advection-Diffusion Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM/ASA J. Uncertain. Quantification ![In: SIAM/ASA J. Uncertain. Quantification 1(1), pp. 319-347, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Jingdong Wang 0001, Jing Wang 0068, Qifa Ke, Gang Zeng, Shipeng Li 0001 |
Fast Approximate $K$-Means via Cluster Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.3061, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
18 | Tiago Simas, Luis M. Rocha |
Distance Closures on Complex Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1312.2459, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
18 | Stavros Konstantinidis, Nicolae Santean |
Computing maximal Kleene closures that are embeddable in a given subword-closed language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Nat. Comput. ![In: Nat. Comput. 12(2), pp. 211-222, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Emil Jerábek, Leszek Aleksander Kolodziejczyk |
Real closures of models of weak arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 52(1-2), pp. 143-157, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Gim Hee Lee, Friedrich Fraundorfer, Marc Pollefeys |
Robust pose-graph loop-closures with expectation-maximization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2013 IEEE/RSJ International Conference on Intelligent Robots and Systems, IROS 2013, Tokyo, Japan, November 3-7, 2013, pp. 556-563, 2013, IEEE, 978-1-4673-6357-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Margaret F. Shipley, J. Brooke Shipley-Lozano |
Determining beach closures necessary to protect bull shark (Carcharhinus leucas) species (and bathers): A fuzzy rule-based model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFSA/NAFIPS ![In: Joint IFSA World Congress and NAFIPS Annual Meeting, IFSA/NAFIPS 2013, Edmonton, Alberta, Canada, June 24-28, 2013, pp. 350-355, 2013, IEEE. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Dimitrios I. Kosmopoulos, Ilias Maglogiannis, Fillia Makedon |
Robust offline topological map estimation using visual loop closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PETRA ![In: The 6th International Conference on PErvasive Technologies Related to Assistive Environments, PETRA '13, Island of Rhodes, Greece, May 29-31, 2013, pp. 29:1-29:8, 2013, ACM, 978-1-4503-1973-7. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Bruno Crestani Calegaro, Juliana Kaizer Vizzotto |
Quantum Monad Using Java Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEIT ![In: 2nd Workshop-School on Theoretical Computer Science, WEIT 2013, Rio Grande, RS, Brazil, October 15-17, 2013, pp. 34-39, 2013, IEEE Computer Society, 978-1-4799-3057-9. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
18 | Marco Bellia, M. Eugenia Occhiuto |
The Equivalence of Reduction and Translation Semantics of Java Simple Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 119(3-4), pp. 249-264, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Leonid A. Kurdachenko, José M. Muñoz-Escolano, Javier Otal |
Groups in which the Normal Closures of Cyclic Subgroups have Finite Section Rank. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 22(4), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Bonami |
On optimizing over lift-and-project closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Program. Comput. ![In: Math. Program. Comput. 4(2), pp. 151-179, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Graham W. Alldredge, Cory D. Hauck, André L. Tits |
High-Order Entropy-Based Closures for Linear Transport in Slab Geometry II: A Computational Study of the Optimization Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Sci. Comput. ![In: SIAM J. Sci. Comput. 34(4), 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Gordon L. Olson |
Alternate closures for radiation transport using Legendre polynomials in 1D and spherical harmonics in 2D. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 231(7), pp. 2786-2793, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Matteo Icardi, Pietro Asinari, Daniele L. Marchisio, Salvador Izquierdo, Rodney O. Fox |
Quadrature-based moment closures for non-equilibrium flows: Hard-sphere collisions and approach to equilibrium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 231(21), pp. 7431-7449, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Gennadiy Averkov |
On finitely generated closures in the theory of cutting planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Optim. ![In: Discret. Optim. 9(4), pp. 209-215, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Tayssir Touili |
Computing transitive closures of hedge transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Crit. Comput. Based Syst. ![In: Int. J. Crit. Comput. Based Syst. 3(1/2), pp. 132-150, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jorgen S. Frederiksen |
Statistical Dynamical Closures and Subgrid Modeling for Inhomogeneous QG and 3D Turbulence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Entropy ![In: Entropy 14(1), pp. 32-57, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Ahmed Ainouche |
alpha-degree closures for graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(2), pp. 390-396, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Susumu Cato |
Complements and consistent closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 312(6), pp. 1218-1221, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | René Thiemann |
Executable Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Formal Proofs ![In: Arch. Formal Proofs 2012, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Jochen Harant, Arnfried Kemnitz, Akira Saito, Ingo Schiermeyer |
Closures, cycles, and paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 69(3), pp. 314-323, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Rudolf Berghammer, Sebastian Fischer 0001 |
Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAMiCS ![In: Relational and Algebraic Methods in Computer Science - 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings, pp. 114-129, 2012, Springer, 978-3-642-33313-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Marcel C. Guenther, Anton Stefanek, Jeremy T. Bradley |
Moment Closures for Performance Models with Highly Non-linear Rates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EPEW/UKPEW ![In: Computer Performance Engineering - 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers, pp. 32-47, 2012, Springer, 978-3-642-36780-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Ramón González del Campo, Luis Garmendia |
Weak T-transitivity and weak closures of interval-valued fuzzy relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FUZZ-IEEE ![In: FUZZ-IEEE 2012, IEEE International Conference on Fuzzy Systems, Brisbane, Australia, June 10-15, 2012, Proceedings., pp. 1-6, 2012, IEEE, 978-1-4673-1507-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Baptiste Jeannin |
Capsules and Closures: A Small-Step Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic and Program Semantics ![In: Logic and Program Semantics - Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday, pp. 106-123, 2012, Springer, 978-3-642-29484-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Marco Bellia, M. Eugenia Occhiuto |
Inference, Targeting and Compatibility in a Type System for Java with SAM Typed Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CS&P ![In: Proceedings of the 21th International Workshop on Concurrency, Specification and Programming, Berlin, Germany, September 26-28, 2012, pp. 49-60, 2012, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Andrew W. Keep, Alex Hearn, R. Kent Dybvig |
Optimizing closures in O(0) time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Scheme@ICFP ![In: Proceedings of the 2012 Annual Workshop on Scheme and Functional Programming, Scheme 2012, Copenhagen, Denmark, September 9-15, 2012, pp. 30-35, 2012, ACM, 978-1-4503-1895-2. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Sebastian Biallas, Jörg Brauer, Andy King, Stefan Kowalewski |
Loop Leaping with Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 19th International Symposium, SAS 2012, Deauville, France, September 11-13, 2012. Proceedings, pp. 214-230, 2012, Springer, 978-3-642-33124-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Eitan Farchi, Itai Segall, João Lourenço, Diogo Sousa 0001 |
Using program closures to make an application programming interface (API) implementation thread safe. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADTAD ![In: Proceedings of the 10th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2012, Minneapolis, MN, USA, July 16, 2012, pp. 18-24, 2012, ACM, 978-1-4503-1456-5. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Jing Wang 0068, Jingdong Wang 0001, Qifa Ke, Gang Zeng, Shipeng Li 0001 |
Fast approximate k-means via cluster closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CVPR ![In: 2012 IEEE Conference on Computer Vision and Pattern Recognition, Providence, RI, USA, June 16-21, 2012, pp. 3037-3044, 2012, IEEE Computer Society, 978-1-4673-1226-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Joseph J. Pfeiffer III, Timothy La Fond, Sebastián Moreno, Jennifer Neville |
Fast Generation of Large Scale Social Networks While Incorporating Transitive Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SocialCom/PASSAT ![In: 2012 International Conference on Privacy, Security, Risk and Trust, PASSAT 2012, and 2012 International Confernece on Social Computing, SocialCom 2012, Amsterdam, Netherlands, September 3-5, 2012, pp. 154-165, 2012, IEEE Computer Society, 978-1-4673-5638-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Nicholas D. Matsakis |
Parallel Closures: A New Twist on an Old Idea. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HotPar ![In: 4th USENIX Workshop on Hot Topics in Parallelism, HotPar'12, Berkeley, CA, USA, June 7-8, 2012, 2012, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
18 | Claire D'Este, Ashfaqur Rahman, Alison Turnbull |
Predicting Shellfish Farm Closures with Class Balancing Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Conference on Artificial Intelligence ![In: AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings, pp. 39-48, 2012, Springer, 978-3-642-35100-6. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
18 | Marco Bellia, M. Eugenia Occhiuto |
Properties of Java Simple Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 109(3), pp. 237-253, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Jean-Baptiste Jeannin |
Capsules and Closures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Twenty-seventh Conference on the Mathematical Foundations of Programming Semantics, MFPS 2011, Pittsburgh, PA, USA, May 25-28, 2011, pp. 191-213, 2011, Elsevier. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | Travis C. Fisher, Mark H. Carpenter, Nail K. Yamaleev, Steven H. Frankel |
Boundary closures for fourth-order energy stable weighted essentially non-oscillatory finite-difference schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Phys. ![In: J. Comput. Phys. 230(10), pp. 3727-3752, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
18 | K. V. Babitha, Sunil Jacob John |
Transitive closures and orderings on soft sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Math. Appl. ![In: Comput. Math. Appl. 62(5), pp. 2235-2239, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|