|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 8 occurrences of 7 keywords
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
77 | Claudio Hermida |
Descent on 2-Fibrations and Strongly 2-Regular 2-Categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(5-6), pp. 427-459, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
2-fibration, effective descent, essentially-surjective-on-objects, pseudo-monadicity |
53 | Robert M. Colomb, Christopher N. G. Dampney, Michael Johnson |
Category-theoretic fibration as an abstraction mechanism in information systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 38(1), pp. 1-44, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
46 | Deirdre Luyckx |
A Geometric Construction of the Hyperbolic Fibrations Associated with a Flock, q Even. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 39(2), pp. 281-288, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
51E23, AMS Classification 51E20 |
46 | Claudio Hermida, Bart Jacobs 0001 |
An Algebraic View of Structural Induction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, pp. 412-426, 1994, Springer, 3-540-60017-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
31 | Dominique Bourn |
The Structural Nature of the Nerve Functor for n-Groupoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 8(1-2), pp. 81-113, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
simplicial object, nerve, n-groupoid, fibration |
31 | Peter T. Johnstone |
Fibrations and partial products in a 2-category. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 1(2), pp. 141-179, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
partial product, Fibration, 2-category |
30 | Ruben Turkenburg, Harsh Beohar, Clemens Kupke, Jurriaan Rot |
Forward and Backward Steps in a Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CALCO ![In: 10th Conference on Algebra and Coalgebra in Computer Science, CALCO 2023, June 19-21, 2023, Indiana University Bloomington, IN, USA, pp. 6:1-6:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-287-7. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
30 | Daniel Livschitz, Weiqing Gu |
The LG Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.02029, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
30 | Ian Leifer, Mishael Sánchez-Pérez, Cecilia Ishida, Hernán A. Makse |
Predicting synchronized gene coexpression patterns from fibration symmetries in gene regulatory networks in bacteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 22(1), pp. 363, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Michal Zamboj |
Synthetic construction of the Hopf fibration in a double orthogonal projection of 4-space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Des. Eng. ![In: J. Comput. Des. Eng. 8(3), pp. 836-854, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Higor S. Monteiro, Ian Leifer, Saulo D. S. Reis, José S. Andrade Jr., Hernán A. Makse |
Fast algorithm to identify cluster synchrony through fibration symmetries in large information-processing networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2110.01096, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
30 | Davide Trotta, Matteo Spadetto, Valeria de Paiva |
The Gödel Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia., pp. 87:1-87:16, 2021, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-201-3. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
30 | Ian Leifer, Flaviano Morone, Saulo D. S. Reis, José S. Andrade Jr., Mariano Sigman, Hernán A. Makse |
Circuits with broken fibration symmetries perform core logic computations in biological networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLoS Comput. Biol. ![In: PLoS Comput. Biol. 16(6), 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
30 | Osman Ates, Marian Ioan Munteanu, Ana Irina Nistor |
Dynamics on S3 and the Hopf fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Math. Comput. ![In: Appl. Math. Comput. 347, pp. 429-441, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Hanlin Hu, David Gerhard |
Modelling 4-Dimensional Tonal Pitch Spaces with Hopf Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMMR ![In: Perception, Representations, Image, Sound, Music - 14th International Symposium, CMMR 2019, Marseille, France, October 14-18, 2019, Revised Selected Papers, pp. 142-156, 2019, Springer, 978-3-030-70209-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
30 | Ichiro Hasuo, Toshiki Kataoka, Kenta Cho 0002 |
Coinductive predicates and final sequences in a fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Struct. Comput. Sci. ![In: Math. Struct. Comput. Sci. 28(4), pp. 562-611, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
30 | Manuel Arrayás, José L. Trueba |
On the Fibration Defined by the Field Lines of a Knotted Class of Electromagnetic Fields at a Particular Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 9(10), pp. 218, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Michael Watterson, Vijay Kumar 0001 |
Control of Quadrotors Using the Hopf Fibration on SO(3). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISRR ![In: Robotics Research, The 18th International Symposium, ISRR 2017, Puerto Varas, Chile, December 11-14, 2017., pp. 199-215, 2017, Springer, 978-3-030-28618-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Taichi Uemura |
Fibred fibration categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
30 | Yuanping Xu, Paul J. Scott, Jiaoling Zheng |
Novel Research on a Fibration Knowledge-Based Solution for Engineered Surface Tolerances within the Modern GPS Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Eng. Knowl. Eng. ![In: Int. J. Softw. Eng. Knowl. Eng. 26(5), pp. 845-, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
30 | Lei Zhang |
The cohomological support locus of pluri-canonical sheaves and the Iitaka fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 90(2), pp. 592-608, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | C. Casagrande |
On some Fano manifolds admitting a rational fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Lond. Math. Soc. ![In: J. Lond. Math. Soc. 90(1), pp. 1-28, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
30 | Ichiro Hasuo, Kenta Cho 0002, Toshiki Kataoka, Bart Jacobs 0001 |
Coinductive Predicates and Final Sequences in a Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2013, New Orleans, LA, USA, June 23-25, 2013, pp. 197-214, 2013, Elsevier. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
30 | Anna Yershova, Swati Jain, Steven M. LaValle, Julie C. Mitchell |
Generating Uniform Incremental Grids on SO(3) Using the Hopf Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Robotics Res. ![In: Int. J. Robotics Res. 29(7), pp. 801-812, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
30 | Anna Yershova, Steven M. LaValle, Julie C. Mitchell |
Generating Uniform Incremental Grids on SO(3) Using the Hopf Fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAFR ![In: Algorithmic Foundation of Robotics VIII, Selected Contributions of the Eight International Workshop on the Algorithmic Foundations of Robotics, WAFR 2008, Guanajuato, Mexico, December 7-9, 2008, pp. 385-399, 2008, Springer, 978-3-642-00311-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Kenji Ohmori, Tosiyasu L. Kunii |
Pi-Calculus Modeling for Cyberworlds Systems using the Fibration and Cofibration Duality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CW ![In: International Conference on Cyberworlds 2008, Hangzhou, China, 22-24 September 2008, Proceedings, pp. 363-370, 2008, IEEE Computer Society, 978-0-7695-3381-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Thomas Kahl |
A Fibration Category of Local Pospaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GETCO ![In: Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006, pp. 129-140, 2006, Elsevier. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Hoshang Heydari |
The geometry and topology of entanglement: conifold, segre variety, and hopf fibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Quantum Inf. Comput. ![In: Quantum Inf. Comput. 6(4), pp. 400-409, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
30 | Dominique Bourn |
Mal'cev categories and fibration of pointed objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 4(2-3), pp. 307-327, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
23 | Tohru Nakashima |
Minimum distance of relative Reed-Muller codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Algebra Eng. Commun. Comput. ![In: Appl. Algebra Eng. Commun. Comput. 20(2), pp. 123-132, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Relative Reed-Muller codes, Semistable vector bundles, Error-correcting codes |
23 | Ronald Brown, George Janelidze |
Galois Theory and a New Homotopy Double Groupoid of a Map of Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 12(1), pp. 63-80, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
homotopy groupoids, Galois groupoids, double groupoids |
23 | Bert Jüttler, Katharina Rittenschober |
Using Line Congruences for Parameterizing Special Algebraic Surfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IMA Conference on the Mathematics of Surfaces ![In: Mathematics of Surfaces, 10th IMA International Conference, Leeds, UK, September 15-17, 2003, Proceedings, pp. 223-243, 2003, Springer, 3-540-20053-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
23 | Manuela Sobral |
Another Approach to Topological Descent Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 9(5), pp. 505-516, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
descent data, (effective) descent map, monadic functor, universal regular epimorphism, (effective) étale-descent, monad |
23 | Eugene W. Stark |
Fibrational Semantics of Dataflow Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings, pp. 597-612, 1998, Springer, 3-540-64896-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|