|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 118 occurrences of 91 keywords
|
|
|
Results
Found 320 publication records. Showing 314 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
101 | Siriwan Suebnukarn, Peter Haddawy |
COMET: A Collaborative Tutoring System for Medical Problem-Based Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Intell. Syst. ![In: IEEE Intell. Syst. 22(4), pp. 70-77, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Bayesian networks, intelligent tutoring systems, empirical evaluation, problem-based learning, computer-supported collaborative learning, medicine |
101 | Bogdan Smolka, Rastislav Lukac |
Segmentation of the Comet Assay Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIAR (2) ![In: Image Analysis and Recognition: International Conference, ICIAR 2004, Porto, Portugal, September 29-October 1, 2004, Proceedings, Part II, pp. 124-131, 2004, Springer, 3-540-23240-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
85 | Alexandre Demeure, Gaëlle Calvary, Karin Coninx |
COMET(s), A Software Architecture Style and an Interactors Toolkit for Plastic User Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSV-IS ![In: Interactive Systems. Design, Specification, and Verification, 15th International Workshop, DSV-IS 2008, Kingston, Canada, July 16-18, 2008, Revised Papers, pp. 225-237, 2008, Springer, 978-3-540-70568-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
tailored UIs, Adaptation, exploration, context of use, plasticity, design alternatives, style sheets, interactors |
81 | Laurent D. Michel |
Parallelizing constraint programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAMP ![In: Proceedings of the POPL 2010 Workshop on Declarative Aspects of Multicore Programming, DAMP 2010, Madrid, Spain, January 19, 2010, pp. 3-4, 2010, ACM, 978-1-60558-859-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
constraint-based local search, parallel programming, constraint programming |
74 | Hatem Boujemaa, Insaf Jaafar, Rim Amara, Mohamed Siala 0001 |
Joint azimuth, elevation, and time of arrival estimation of diffuse sources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. des Télécommunications ![In: Ann. des Télécommunications 63(7-8), pp. 425-433, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mots clés: Localisation de sources diffuses, BCR, Algorithme des projections alternées, MUSIC, COMET, MV |
69 | Laurent Michel, Pascal Van Hentenryck |
The Comet Programming Language and System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 881-881, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
69 | Gaëlle Calvary, Joëlle Coutaz, Olfa Dâassi, Lionel Balme, Alexandre Demeure |
Towards a New Generation of Widgets for Supporting Software Plasticity: The "Comet". ![Search on Bibsonomy](Pics/bibsonomy.png) |
EHCI/DS-VIS ![In: Engineering Human Computer Interaction and Interactive Systems, Joint Working Conferences EHCI-DSVIS 2004, Hamburg, Germany, July 11-13, 2004, Revised Selected Papers, pp. 306-324, 2004, Springer, 3-540-26097-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
69 | Johann Eder, Christian Koncilia, Tadeusz Morzy |
The COMET Metamodel for Temporal Data Warehouses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 14th International Conference, CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings, pp. 83-99, 2002, Springer, 3-540-43738-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
65 | Junhee Lee 0001, Sue J. Lee, Yeonchool Park, Sukhan Lee 0001 |
Object Recognition Architecture Using Distributed and Parallel Computing with Collaborator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GrC ![In: 2007 IEEE International Conference on Granular Computing, GrC 2007, San Jose, California, USA, 2-4 November 2007, pp. 490-497, 2007, IEEE Computer Society, 0-7695-3032-X. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
65 | Siriwan Suebnukarn, Peter Haddawy |
A collaborative intelligent tutoring system for medical problem-based learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IUI ![In: Proceedings of the 9th International Conference on Intelligent User Interfaces, IUI 2004, Funchal, Madeira, Portugal, January 13-16, 2004, pp. 14-21, 2004, ACM, 1-58113-815-6. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
bayesian networks, intelligent tutoring systems, collaborative environments, problem-based learning, multi-modal interfaces, medicine |
58 | William S. Mark, Sherman W. Tyler, James McGuire, Jon L. Schlossberg |
Commitment-Based Software Development. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 18(10), pp. 870-885, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
data requirements, Comet system, explicit representation, sensor-based tracker software, software engineering, artificial intelligence, knowledge representation, constraints, software development, reuse, reasoning, software reusability, commitments, software modules, resource consumption |
53 | Mi-Yen Yeh, Bi-Ru Dai, Ming-Syan Chen |
COMET: Event-Driven Clustering over Multiple Evolving Streams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 10th Pacific-Asia Conference, PAKDD 2006, Singapore, April 9-12, 2006, Proceedings, pp. 719-723, 2006, Springer, 3-540-33206-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
49 | Tyler J. Gunn, Pourang Irani, John Anderson 0001 |
An evaluation of techniques for selecting moving targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHI Extended Abstracts ![In: Proceedings of the 27th International Conference on Human Factors in Computing Systems, CHI 2009, Extended Abstracts Volume, Boston, MA, USA, April 4-9, 2009, pp. 3329-3334, 2009, ACM, 978-1-60558-247-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
moving target selection, fitts' law, target selection |
49 | Thomas Gustafsson, Aleksandra Tesanovic, Ying Du, Jörgen Hansson |
Engineering active behavior of embedded software to improve performance and evolution: an aspect-oriented approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 673-679, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Yifeng Sun, David Levy 0001 |
A Software Process for Modeling Complex Systems with UML-RT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 401-410, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
49 | Siriwan Suebnukarn, Peter Haddawy |
Modeling individual and collaborative problem-solving in medical problem-based learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
User Model. User Adapt. Interact. ![In: User Model. User Adapt. Interact. 16(3-4), pp. 211-248, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Medical problem-based learning, Bayesian networks, Intelligent tutoring systems, Student modeling, Computer-supported collaborative learning |
49 | Pascal Van Hentenryck, Laurent Michel |
Scheduling Abstractions for Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPAIOR ![In: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, First International Conference, CPAIOR 2004, Nice, France, April 20-22, 2004, Proceedings, pp. 319-334, 2004, Springer, 3-540-21836-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
41 | Derya Dogan Durgun, Emre Niyazi Toprakkaya |
Roman Domination of the Comet, Double Comet, and Comb Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2102.07902, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
41 | Eftal Sehirli, Muhammed Kamil Turan, Emrullah Demiral |
A randomized automated thresholding method to identify comet objects on comet assay images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCIP ![In: Proceedings of the 3rd International Conference on Communication and Information Processing, ICCIP 2017, Tokyo, Japan, November 24-26, 2017., pp. 464-467, 2017, ACM. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
37 | Kei Nakanishi, Jianhua Ma 0002, Bernady O. Apduhan, Runhe Huang |
An Object-Oriented Framework for Common Abstraction and the Comet-Based Interaction of Physical u-Objects and Digital Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 5th International Conference, UIC 2008, Oslo, Norway, June 23-25, 2008, Proceedings, pp. 397-410, 2008, Springer, 978-3-540-69292-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
32 | Vianney le Clément de Saint-Marcq, Yves Deville, Christine Solnon |
Constraint-Based Graph Matching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2009, 15th International Conference, CP 2009, Lisbon, Portugal, September 20-24, 2009, Proceedings, pp. 274-288, 2009, Springer, 978-3-642-04243-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
32 | Mi-Yen Yeh, Bi-Ru Dai, Ming-Syan Chen |
Clustering over Multiple Evolving Streams by Events and Correlations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 19(10), pp. 1349-1362, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Data mining, data streams, data clustering |
32 | Aleksandra Tesanovic, Mehdi Amirijoo, Jörgen Hansson |
Providing Configurable QoS Management in Real-Time Systems with QoS Aspect Packages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
T. Aspect-Oriented Software Development ![In: Transactions on Aspect-Oriented Software Development II, pp. 256-288, 2006, Springer, 3-540-48890-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
32 | Minseong Kim, Suntae Kim, Sooyong Park, Mun-Taek Choi, Munsang Kim, Hassan Gomaa |
UML-based service robot software development: a case study. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 534-543, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
object-oriented analysis and design methods, service robot development, software engineering, UML |
32 | Pascal Van Hentenryck, Laurent Michel |
Control Abstractions for Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 10(2), pp. 137-157, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
search, heuristic, constraint, control, abstraction, local search, meta-heuristic, incremental, neighborhood |
32 | Aleksandra Tesanovic, Mehdi Amirijoo, Kaj-Mikael Björk, Jörgen Hansson |
Empowering configurable QoS management in real-time systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 4th International Conference on Aspect-Oriented Software Development, AOSD 2005, Chicago, Illinois, USA, March 14-18, 2005, pp. 39-50, 2005, ACM, 1-59593-042-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
32 | Hiroyuki Kamezawa, Makoto Nakamura, Junji Tamatsukuri, Nao Aoshima, Mary Inaba, Kei Hiraki |
Inter-Layer Coordination for Parallel TCP Streams on Long Fat Pipe Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the ACM/IEEE SC2004 Conference on High Performance Networking and Computing, 6-12 November 2004, Pittsburgh, PA, USA, CD-Rom, pp. 24, 2004, IEEE Computer Society, 0-7695-2153-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
32 | Aleksandra Tesanovic, Dag Nyström, Jörgen Hansson, Christer Norström |
Towards Aspectual Component-Based Development of Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 558-577, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Pascal Van Hentenryck, Laurent Michel |
Control Abstractions for Local Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2003, 9th International Conference, CP 2003, Kinsale, Ireland, September 29 - October 3, 2003, Proceedings, pp. 65-80, 2003, Springer, 3-540-20202-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
32 | Frédéric Peschanski, Jean-Pierre Briot, Akinori Yonezawa |
Fine-Grained Dynamic Adaptation of Distributed Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Middleware 2003, ACM/IFIP/USENIX International Middleware Conference, Rio de Janeiro, Brazil, June 16-20, 2003, Proceedings, pp. 123-142, 2003, Springer, 3-540-40317-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Fine-grain adaptations, Event-based Asynchronous Communications, Strong typing, Dynamic Adaptability, Component-based Middleware |
31 | Md. Rezaul Karim 0001, Lina Molinas Comet, Md Shajalal, Paola de Perthuis, Dietrich Rebholz-Schuhmann, Stefan Decker |
From Large Language Models to Knowledge Graphs for Biomarker Discovery in Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HICSS ![In: 57th Hawaii International Conference on System Sciences, HICSS 2024, Hilton Hawaiian Village Waikiki Beach Resort, Hawaii, USA, January 3-6, 2024, pp. 5576-5586, 2024, ScholarSpace, 978-0-9981331-7-1. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP BibTeX RDF |
|
31 | Romain Michelucci, Vincent Callegari, Jean-Paul Comet, Denis Pallez |
Cellular Genetic Algorithms for Identifying Variables in Hybrid Gene Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EvoApplications@EvoStar ![In: Applications of Evolutionary Computation - 27th European Conference, EvoApplications 2024, Held as Part of EvoStar 2024, Aberystwyth, UK, April 3-5, 2024, Proceedings, Part I, pp. 131-145, 2024, Springer, 978-3-031-56851-0. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
31 | Md. Rezaul Karim 0001, Lina Molinas Comet, Md Shajalal, Oya Beyan, Dietrich Rebholz-Schuhmann, Stefan Decker |
From Large Language Models to Knowledge Graphs for Biomarker Discovery in Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2310.08365, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Md. Rezaul Karim 0001, Lina Molinas Comet, Oya Beyan, Dietrich Rebholz-Schuhmann, Stefan Decker |
A Biomedical Knowledge Graph for Biomarker Discovery in Cancer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2302.04737, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Honglu Sun, Jean-Paul Comet, Maxime Folschette, Morgan Magnin |
Condition for Sustained Oscillations in Repressilator Based on a Hybrid Modeling of Gene Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOINFORMATICS ![In: Proceedings of the 16th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2023, Volume 3: BIOINFORMATICS, Lisbon, Portugal, February 16-18, 2023., pp. 29-40, 2023, SCITEPRESS, 978-989-758-631-6. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
31 | Florian Barthélemy, Michael Cochez, Iraklis Dimitriadis, Naila Karim, Nikolaos Loutas, Ioannis Magnisalis, Lina Molinas Comet, Vassilios Peristeras, Brecht Wyns |
Towards a standard-based open data ecosystem: analysis of DCAT-AP use at national and European level. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. Gov. an Int. J. ![In: Electron. Gov. an Int. J. 18(2), pp. 137-180, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Romain Michelucci, Jean-Paul Comet, Denis Pallez |
Evolutionary Continuous Optimization of Hybrid Gene Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EA ![In: Artificial Evolution - 15th International Conference, Évolution Artificielle, EA 2022, Exeter, UK, October 31 - November 2, 2022, Revised Selected Papers, pp. 159-172, 2022, Springer, 978-3-031-42615-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
31 | Francisco J. Rodríguez-Sanchez, Jorge Carrillo-de-Albornoz, Laura Plaza, Julio Gonzalo, Paolo Rosso, Miriam Comet, Trinidad Donoso |
Overview of EXIST 2021: sEXism Identification in Social neTworks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proces. del Leng. Natural ![In: Proces. del Leng. Natural 67, pp. 195-207, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
31 | Laetitia Gibart, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet |
TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOINFORMATICS ![In: Proceedings of the 14th International Joint Conference on Biomedical Engineering Systems and Technologies, BIOSTEC 2021, Volume 3: BIOINFORMATICS, Online Streaming, February 11-13, 2021., pp. 85-92, 2021, SCITEPRESS, 978-989-758-490-9. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Laetitia Gibart, Hélène Collavizza, Jean-Paul Comet |
Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 19th International Conference, CMSB 2021, Bordeaux, France, September 22-24, 2021, Proceedings, pp. 36-56, 2021, Springer, 978-3-030-85632-8. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
31 | Fernando de Goes, Patrick Coleman, Michael Comet, Alonso Martinez |
Sculpt Processing for Character Rigging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Talks ![In: SIGGRAPH '20: Special Interest Group on Computer Graphics and Interactive Techniques Conference, Talks, Virtual Event,USA, August, 2020, pp. 25:1-25:2, 2020, ACM, 978-1-4503-7971-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Déborah Boyenval, Gilles Bernot, Hélène Collavizza, Jean-Paul Comet |
What is a Cell Cycle Checkpoint? The TotemBioNet Answer. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings, pp. 362-372, 2020, Springer, 978-3-030-60326-7. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
31 | Ingrid Grenet, Kevin Merlo, Jean-Paul Comet, Romain Tertiaux, David Rouquié, Frédéric Dayan |
Stacked Generalization with Applicability Domain Outperforms Simple QSAR on in Vitro Toxicological Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Chem. Inf. Model. ![In: J. Chem. Inf. Model. 59(4), pp. 1486-1496, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux |
A genetically modified Hoare logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 765, pp. 145-157, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
31 | Ingrid Grenet, Yonghua Yin, Jean-Paul Comet |
G-Networks to Predict the Outcome of Sensing of Toxicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sensors ![In: Sensors 18(10), pp. 3483, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Jonathan Behaegel, Jean-Paul Comet, Marie Pelleau |
Identification of Dynamic Parameters for Gene Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTAI ![In: IEEE 30th International Conference on Tools with Artificial Intelligence, ICTAI 2018, 5-7 November 2018, Volos, Greece., pp. 122-129, 2018, IEEE. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Fernando de Goes, William Sheffler, Michael Comet, Alonso Martinez, Aimei Kutt |
Patch-based surface relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Talks ![In: Special Interest Group on Computer Graphics and Interactive Techniques Conference, SIGGRAPH 2018, Vancouver, BC, Canada, August 12-16, 2018, Talks, pp. 43:1-43:2, 2018, ACM, 978-1-4503-5820-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Ingrid Grenet, Yonghua Yin, Jean-Paul Comet, Erol Gelenbe |
Machine Learning to Predict Toxicity of Compounds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICANN (1) ![In: Artificial Neural Networks and Machine Learning - ICANN 2018 - 27th International Conference on Artificial Neural Networks, Rhodes, Greece, October 4-7, 2018, Proceedings, Part I, pp. 335-345, 2018, Springer, 978-3-030-01417-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney |
A Qualitative Framework Dedicated to Toxicology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BIOINFORMATICS ![In: Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017) - Volume 3: BIOINFORMATICS, Porto, Portugal, February 21-23, 2017., pp. 93-103, 2017, SciTePress, 978-989-758-214-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette |
Constraint Identification Using Modified Hoare Logic on Hybrid Models of Gene Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 24th International Symposium on Temporal Representation and Reasoning, TIME 2017, October 16-18, 2017, Mons, Belgium, pp. 5:1-5:21, 2017, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-052-1. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Benjamin Miraglio, Gilles Bernot, Jean-Paul Comet, Christine Risso-de Faverney |
Detecting Toxicity Pathways with a Formal Framework Based on Equilibrium Changes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 15th International Conference, CMSB 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings, pp. 196-213, 2017, Springer, 978-3-319-67470-4. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
31 | Jonathan Behaegel, Jean-Paul Comet, Maxime Folschette |
A Hybrid Hoare Logic for Gene Network Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1610.06715, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
31 | Jonathan Behaegel, Jean-Paul Comet, Gilles Bernot, Emilien Cornillon, Franck Delaunay |
A hybrid model of cell cycle in mammals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Bioinform. Comput. Biol. ![In: J. Bioinform. Comput. Biol. 14(1), pp. 1640001:1-1640001:17, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
31 | Gilles Bernot, Jean-Paul Comet, Zohra Khalis, Adrien Richard, Olivier F. Roux |
A Genetically Modified Hoare Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1506.05887, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP BibTeX RDF |
|
31 | Gilles Bernot, Jean-Paul Comet, Olivier F. Roux |
A Genetically Modified Hoare Logic that Identifies the Parameters of a Gene Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 13th International Conference, CMSB 2015, Nantes, France, September 16-18, 2015, Proceedings, pp. 8-12, 2015, Springer, 978-3-319-23400-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
31 | Soumya Ghose, Arnau Oliver, Jhimli Mitra, Robert Marti, Xavier Lladó, Jordi Freixenet, Desire Sidibé, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
A supervised learning framework of statistical shape and probability priors for automatic prostate segmentation in ultrasound images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 17(6), pp. 587-600, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Jhimli Mitra, Zoltan Kato, Robert Marti, Arnau Oliver, Xavier Lladó, Desire Sidibé, Soumya Ghose, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
A spline-based non-linear diffeomorphism for multimodal prostate registration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Image Anal. ![In: Medical Image Anal. 16(6), pp. 1259-1279, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Paul Comet, Gilles Bernot, Aparna Das, Francine Diener, Camille Massot, Amélie Cessieux |
Simplified Models for the Mammalian Circadian Clock. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSBio ![In: Proceedings of the 3rd International Conference on Computational Systems-Biology and Bioinformatics, CSBio 2012, Bangkok, Thailand, October 3-5, 2012, pp. 127-138, 2012, Elsevier. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet-Batlle, Fabrice Mériaudeau |
Statistical shape and texture model of quadrature phase information for prostate segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Comput. Assist. Radiol. Surg. ![In: Int. J. Comput. Assist. Radiol. Surg. 7(1), pp. 43-55, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Jhimli Mitra, Soumya Ghose, Desire Sidibé, Arnau Oliver, Robert Marti, Xavier Lladó, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
Weighted likelihood function of multiple statistical parameters to retrieve 2D TRUS-MR slice correspondence for prostate biopsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIP ![In: 19th IEEE International Conference on Image Processing, ICIP 2012, Lake Buena Vista, Orlando, FL, USA, September 30 - October 3, 2012, pp. 2949-2952, 2012, IEEE, 978-1-4673-2534-9. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Jhimli Mitra, Abhilash Srikantha, Désiré Sidibé, Robert Marti, Arnau Oliver, Xavier Lladó, Soumya Ghose, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
A shape-based statistical method to retrieve 2D TRUS-MR slice correspondence for prostate biopsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Medical Imaging: Image Processing ![In: Medical Imaging 2012: Image Processing, San Diego, California, USA, February 4, 2012, pp. 83143M, 2012, SPIE, 978-0-8194-8963-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Désiré Sidibé, Fabrice Mériaudeau |
Spectral clustering of shape and probability prior models for automatic prostate segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, CA, USA, August 28 - September 1, 2012, pp. 2335-2338, 2012, IEEE, 978-1-4244-4119-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Jhimli Mitra, Soumya Ghose, Désiré Sidibé, Robert Marti, Arnau Oliver, Xavier Lladó, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
Joint probability of shape and image similarities to retrieve 2D TRUS-MR slice correspondence for prostate biopsy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2012, San Diego, CA, USA, August 28 - September 1, 2012, pp. 5416-5419, 2012, IEEE, 978-1-4244-4119-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Desire Sidibé, Fabrice Mériaudeau |
A Mumford-Shah functional based variational model with contour, shape, and probability prior information for prostate segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Tsukuba, Japan, November 11-15, 2012, pp. 121-124, 2012, IEEE Computer Society, 978-1-4673-2216-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
31 | Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Desire Sidibé, Fabrice Mériaudeau |
Graph cut energy minimization in a probabilistic learning framework for 3D prostate segmentation in MRI. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPR ![In: Proceedings of the 21st International Conference on Pattern Recognition, ICPR 2012, Tsukuba, Japan, November 11-15, 2012, pp. 125-128, 2012, IEEE Computer Society, 978-1-4673-2216-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
31 | Soumya Ghose, Jhimli Mitra, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Joan Carles Vilanova, Josep Comet, Desire Sidibé, Fabrice Mériaudeau |
A Supervised Learning Framework for Automatic Prostate Segmentation in Trans Rectal Ultrasound Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACIVS ![In: Advanced Concepts for Intelligent Vision Systems - 14th International Conference, ACIVS 2012, Brno, Czech Republic, September 4-7, 2012. Proceedings, pp. 190-200, 2012, Springer, 978-3-642-33139-8. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall, Adrien Richard |
Embedding of Biological Regulatory Networks and Property Preservation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Comput. Sci. ![In: Math. Comput. Sci. 5(3), pp. 263-288, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
Multiple Mean Models of Statistical Shape and Probability Priors for Automatic Prostate Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Prostate Cancer Imaging ![In: Prostate Cancer Imaging. Image Analysis and Image-Guided Interventions - International Workshop, Held in Conjunction with MICCAI 2011, Toronto, Canada, September 22, 2011. Proceedings, pp. 35-46, 2011, Springer, 978-3-642-23943-4. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Soumya Ghose, Arnau Oliver, Robert Marti, Xavier Lladó, Jordi Freixenet, Jhimli Mitra, Joan Carles Vilanova, Josep Comet, Fabrice Mériaudeau |
Statistical Shape and Probability Prior Model for Automatic Prostate Segmentation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DICTA ![In: 2011 International Conference on Digital Image Computing: Techniques and Applications (DICTA), Noosa, QLD, Australia, December 6-8, 2011, pp. 340-345, 2011, IEEE Computer Society, 978-1-4577-2006-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Paul Comet, Jonathan Fromentin, Gilles Bernot, Olivier F. Roux |
A Formal Model for Gene Regulatory Networks with Time Delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSBio ![In: Computational Systems-Biology and Bioinformatics - First International Conference, CSBio 2010, Bangkok, Thailand, November 3-5, 2010. Proceedings, pp. 1-13, 2010, Springer, 978-3-642-16749-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Sylvie Troncale, Jean-Paul Comet, Gilles Bernot |
Enzymatic competition: Modeling and verification with timed hybrid petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 42(4), pp. 562-566, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Gilles Bernot, Jean-Paul Comet |
On the Use of Temporal Formal Logic to Model Gene Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIBB ![In: Computational Intelligence Methods for Bioinformatics and Biostatistics, 6th International Meeting, CIBB 2009, Genoa, Italy, October 15-17, 2009, Revised Selected Papers, pp. 112-138, 2009, Springer, 978-3-642-14570-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
31 | Jamil Ahmad, Olivier F. Roux, Gilles Bernot, Jean-Paul Comet, Adrien Richard |
Analysing formal models of genetic regulatory networks with delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Bioinform. Res. Appl. ![In: Int. J. Bioinform. Res. Appl. 4(3), pp. 240-262, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall, Philippe Meseure, François Képès |
Topology-based abstraction of complex biological systems: application to the Golgi apparatus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Biosci. ![In: Theory Biosci. 127(2), pp. 79-88, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
31 | Mbarka Mabrouki, Marc Aiguier, Jean-Paul Comet, Pascale Le Gall |
Property Preservation along Embedding of Biological Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AB ![In: Algebraic Biology, Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings, pp. 125-138, 2008, Springer, 978-3-540-85100-4. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Biological regulatory networks, mathematical modeling, computational tree logic, network embedding, property preservation |
31 | Mathieu Poudret, Agnès Arnould, Jean-Paul Comet, Pascale Le Gall |
Graph Transformation for Topology Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICGT ![In: Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings, pp. 147-161, 2008, Springer, 978-3-540-87404-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
topology-based geometric modelling, graph transformation, generalized map |
31 | Daniel Mateus, Jean-Pierre Gallois, Jean-Paul Comet, Pascale Le Gall |
Symbolic Modeling of Genetic Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Bioinform. Comput. Biol. ![In: J. Bioinform. Comput. Biol. 5(2b), pp. 627-640, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Adrien Richard, Jean-Paul Comet |
Necessary conditions for multistationarity in discrete dynamical systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 155(18), pp. 2403-2413, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Daniel Mateus, Jean-Paul Comet, Jean-Pierre Gallois, Pascale Le Gall |
Modelling genetic regulatory networks from specified behaviours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Syst. Biol. ![In: BMC Syst. Biol. 1(S-1), pp. S4, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
31 | Mathieu Poudret, Jean-Paul Comet, Pascale Le Gall, Agnès Arnould, Philippe Meseure |
Topology-based Geometric Modelling for Biological Cellular Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., pp. 497-508, 2007, Research Group on Mathematical Linguistics, Universitat Rovira i Virgili, Tarragona. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
31 | Didier Filopon, Annabelle Mérieau, Gilles Bernot, Jean-Paul Comet, Rozenne LeBerre, Benoit Guery, Benoit Polack, Janine Guespin-Michel |
Epigenetic acquisition of inducibility of type III cytotoxicity in P. aeruginosa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BMC Bioinform. ![In: BMC Bioinform. 7, pp. 272, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Jamil Ahmad, Adrien Richard, Gilles Bernot, Jean-Paul Comet, Olivier F. Roux |
Delays in Biological Regulatory Networks (BRN). ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (2) ![In: Computational Science - ICCS 2006, 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part II, pp. 887-894, 2006, Springer, 3-540-34381-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Adrien Richard, Jean-Paul Comet, Gilles Bernot |
R. Thomas' Modeling of Biological Regulatory Networks: Introduction of Singular States in the Qualitative Dynamics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fundam. Informaticae ![In: Fundam. Informaticae 65(4), pp. 373-392, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
31 | Jean-Paul Comet, Hanna Klaudel, Stéphane Liauzu |
Modeling Multi-valued Genetic Regulatory Networks Using High-Level Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 208-227, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
31 | Adrien Richard, Jean-Paul Comet, Gilles Bernot |
Graph-Based Modeling of Biological Regulatory Networks: Introduction of Singular States. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, International Conference, CMSB 2004, Paris, France, May 26-28, 2004, Revised Selected Papers, pp. 58-72, 2004, Springer, 3-540-25375-0. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
31 | Gilles Bernot, Franck Cassez, Jean-Paul Comet, Franck Delaplace, Céline Müller, Olivier F. Roux |
Semantics of Biological Regulatory Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BioConcur@CONCUR ![In: Proceedings of the First Workshop on Concurrent Models in Molecular Biology, BioConcur@CONCUR 2003, Marseille, France, September 6, 2003, pp. 3-14, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Paul Comet |
Application of Max-Plus algebra to biological sequence comparisons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 293(1), pp. 189-217, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Sabine Pérès, Jean-Paul Comet |
Contribution of Computational Tree Logic to Biological Regulatory Networks: Example from Pseudomonas Aeruginosa. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology, First International Workshop, CMSB 2003, Roverto, Italy, February 24-26, 2003, Proceedings, pp. 47-56, 2003, Springer, 3-540-00605-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Paul Comet, Jacques Henry |
Pairwise Sequence Alignment using a PROSITE Pattern-derived Similarity Score. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. ![In: Comput. Chem. 26(5), pp. 421-436, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Noël Bacro, Jean-Paul Comet |
Sequence Alignment: An Approximation Law for the Z-value with Applications to Databank Scanning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. ![In: Comput. Chem. 25(4), pp. 401-410, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
31 | Jean-Paul Comet, Jean-Christophe Aude, Eric Glémet, Jean-Loup Risler, Alain Hénaut, Piotr P. Slonimski, Jean-Jacques Codani |
Significance of Z-value Statistics of Smith-Waterman Scores for Protein Alignments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Chem. ![In: Comput. Chem. 23(3-4), pp. 317-331, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
31 | Stig Comét |
Über die Anwendung von Binärmodellen in der Theorie der Charaktere der symmetrischen Gruppen. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Numerische Mathematik ![In: Numerische Mathematik 1, pp. 90-109, 1959. The full citation details ...](Pics/full.jpeg) |
1959 |
DBLP DOI BibTeX RDF |
|
25 | Jiyun Xie |
A New Flex Real-Time Messaging Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NCM ![In: International Conference on Networked Computing and Advanced Information Management, NCM 2009, Fifth International Joint Conference on INC, IMS and IDC: INC 2009: International Conference on Networked Computing, IMS 2009: International Conference on Advanced Information Management and Service, IDC 2009: International Conference on Digital Content, Multimedia Technology and its Applications, Seoul, Korea, August 25-27, 2009, pp. 1093-1095, 2009, IEEE Computer Society, 978-0-7695-3769-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
real-time messaging, HTTP, Comet |
25 | Suntae Kim, Jintae Kim, Sooyong Park, Dae-Kyoo Kim |
GARDIAN: A Tool for Validating Rule-Based Modeling Methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Proceedings of the Ninth International Conference on Quality Software, QSIC 2009, Jeju, Korea, August 24-25, 2009, pp. 161-166, 2009, IEEE Computer Society, 978-0-7695-3828-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Model, UML, Rule, COMET |
25 | Jonathan P. Bowen, Tim Bergin, Christopher H. Sterling |
Reviews. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Ann. Hist. Comput. ![In: IEEE Ann. Hist. Comput. 28(2), pp. 77-80, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Halley's Comet, Work Projects Administration, time line, origins of the Internet, Silicon Valley, General Electric, Litton Industries, Shockley Semiconductor, Fairchild Semiconductor, human computers |
25 | Alexandre Demeure, Gaëlle Calvary, Joëlle Coutaz, Jean Vanderdonckt |
The Comets Inspector: Towards Run Time Plasticity Control Based on a Semantic Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMODIA ![In: Task Models and Diagrams for Users Interface Design, 5th International Workshop, TAMODIA 2006, Hasselt, Belgium, October 23-24, 2006. Revised Papers, pp. 324-338, 2006, Springer, 978-3-540-70815-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Concrete user interface, Ambient intelligence, Task modeling, Semantic network, Plasticity, Active model, Model-based approach, Abstract user interface, User interface eXtensible Markup Language, Comet |
25 | Alexandre Demeure, Gaëlle Calvary, Joëlle Coutaz, Jean Vanderdonckt |
The Comets Inspector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADUI ![In: Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania, pp. 167-174, 2006, Springer, 978-1-4020-5819-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Abstract user interface model, Conceptual representation, Plasticity of user interfaces, Model-based design, Internal representation, External representation, Comet |
25 | Robert G. Pettit IV, Hassan Gomaa |
Modeling behavioral design patterns of concurrent objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 202-211, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
behavioral design patterns, software architecture, colored petri nets, COMET |
25 | Antonio Di Nola, Ada Lettieri |
Finiteness based results in BL-algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 9(12), pp. 889-896, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
BL-comet, Strong duality, Duality, BL-algebra |
25 | Manoj Kumar |
Measuring Parallelism in Computation-Intensive Scientific/Engineering Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(9), pp. 1088-1098, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
concurrency measurement tool, measuring parallelism, scientific/engineering applications, FORTRAN listings, parallel programming, parallel programming, parallelism, software tool, software tools, COMET, Fortran programs |
Displaying result #1 - #100 of 314 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ >>] |
|