|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 65 occurrences of 43 keywords
|
|
|
Results
Found 212 publication records. Showing 186 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
137 | Peter Amey |
Why Programming Languages Still Matter. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
100 | Kriangsak Damchoom, Michael J. Butler, Jean-Raymond Abrial |
Modelling and Proof of a Tree-Structured File System in Event-B and Rodin. |
ICFEM |
2008 |
DBLP DOI BibTeX RDF |
Rodin tool, Refinement, File system, Tree structure, Proof, Event-B |
73 | Kriangsak Damchoom, Michael J. Butler |
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B. |
SBMF |
2009 |
DBLP DOI BibTeX RDF |
event decomposition, machine decomposition, Rodin, refinement, file system, flash memory, proof, Event-B |
57 | Michael J. Butler, Cliff B. Jones, Alexander B. Romanovsky, Elena Troubitsyna (eds.) |
Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project] |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Fernando Castor Filho, Patrick Henrique da S. Brito, Cecília M. F. Rubira |
Reasoning About Exception Flow at the Architectural Level. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Jean-Raymond Abrial |
Tools for Developing Large Systems (A Proposal). |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Correct Construction, Development System |
57 | Jean-Raymond Abrial |
Train Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Correct Construction, Refinement, Requirement, Failure, Event-B |
57 | Mikael Asplund, Simin Nadjm-Tehrani |
Formalising Reconciliation in Partitionable Networks with Distributed Services. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Anatoliy Gorbenko, Vyacheslav S. Kharchenko, Olga Tarasyuk, Alexey Furmanov |
F(I)MEA-Technique of Web Services Analysis and Dependability Ensuring. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Alessandro Fantechi, Stefania Gnesi, Laura Semini |
Achieving Fault Tolerance by a Formally Validated Interaction Policy. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Integrity policies, fault tolerance, model checking, process algebras |
57 | Apostolos V. Zarras, Manel Fredj, Nikolaos Georgantas, Valérie Issarny |
Engineering Reconfigurable Distributed Software Systems: Issues Arising for Pervasive Computing. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Alfredo Capozucca, Nicolas Guelfi, Patrizio Pelliccione |
The Fault-Tolerant Insulin Pump Therapy. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Carroll Morgan, Annabelle McIver |
Programming-Logic Analysis of Fault Tolerance: Expected Performance of Self-stabilisation. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Daniel Jackson 0001, Michael Jackson 0001 |
Separating Concerns in Requirements Analysis: An Example. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Colin F. Snook, Michael Poppleton, Ian Johnson |
Towards a Method for Rigorous Development of Generic Requirements Patterns. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Alexei Iliasov, Victor Khomenko, Maciej Koutny, Alexander B. Romanovsky |
On Specification and Verification of Location-Based Fault Tolerant Mobile Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Klaim, fault tolerance, model checking, Petri nets, process algebra, locations, mobile systems, Linda |
57 | Linas Laibinis, Elena Troubitsyna, Alexei Iliasov, Alexander B. Romanovsky |
Rigorous Development of Fault-Tolerant Agent Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Patrice Chalin |
Are Practitioners Writing Contracts? |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
program assertions, empirical study, design by contract, Eiffel |
57 | Shmuel Katz |
Rigorous Fault Tolerance Using Aspects and Formal Methods. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, formal methods, aspect orientation |
57 | Divakar Yadav, Michael J. Butler |
Rigorous Design of Fault-Tolerant Transactions for Replicated Database Systems Using Event B. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | Linas Laibinis, Elena Troubitsyna, Sari Leppänen, Johan Lilius, Qaisar A. Malik |
Formal Service-Oriented Development of Fault Tolerant Communicating Systems. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
fault tolerance, UML, B Method, communicating systems, service-oriented development |
57 | Dubravka Ilic, Elena Troubitsyna, Linas Laibinis, Colin F. Snook |
Formal Development of Mechanisms for Tolerating Transient Faults. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
Transientfaults, refinement, control systems, B Method, FMS |
57 | Joey W. Coleman |
Determining the Specification of a Control System: An Illustrative Example. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
57 | César A. Muñoz, Victor Carreño, Gilles Dowek |
Formal Analysis of the Operational Concept for the Small Aircraft Transportation System. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
56 | Andrei S. Rodin, Sergei N. Rodin |
Translation of Both Complementary Strands Might Govern Early Evolution of the Genetic Code. |
Silico Biol. |
2007 |
DBLP BibTeX RDF |
|
47 | Jean-Raymond Abrial |
A System Development Process with Event-B and the Rodin Platform. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Daisuke Miyazaki, Mawo Kamakura, Tomoaki Higo, Yasuhide Okamoto, Rei Kawakami, Takaaki Shiratori, Akifumi Ikari, Shintaro Ono, Yoshihiro Sato, Mina Oya, Masayuki Tanaka 0006, Katsushi Ikeuchi, Masanori Aoyagi |
3D Digital Archive of the Burghers of Calais. |
VSMM |
2006 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Kyle Min 0001, Subarna Tripathi, Giovanni Maria Farinella |
Action Scene Graphs for Long-Form Understanding of Egocentric Videos. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Mikhail I. Razumovsky, Boris S. Bokstein, Alexey O. Rodin, Alexandra V. Khvan |
Interdiffusion in Refractory Metal System with a BCC Lattice: Ti/TiZrHfNbTaMo. |
Entropy |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Andrey S. Ovchinnikov, Vitaly V. Krasnov, Pavel A. Cheremkhin, Vladislav G. Rodin, Ekaterina A. Savchenkova, Rostislav S. Starikov, Nikolay N. Evtikhiev |
What Binarization Method Is the Best for Amplitude Inline Fresnel Holograms Synthesized for Divergent Beams Using the Direct Search with Random Trajectory Technique? |
J. Imaging |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Dimitrios Mavroeidis, Giovanni Maria Farinella |
Egocentric Action Anticipation for Personal Health. |
ICASSP |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Jonathan Plangger, Hari Govindasamy Ravichandran, Sarat Chandran Rodin, Mohamed M. Atia |
System Design and Performance Analysis of Indoor Real-time Localization using UWB Infrastructure. |
SysCon |
2023 |
DBLP DOI BibTeX RDF |
|
28 | N. Rodin, Domagoj Pincic, Kristijan Lenac, Diego Susanj |
The Comparison of Different Feature Extraction Methods in Musical Instrument Classification. |
MIPRO |
2023 |
DBLP DOI BibTeX RDF |
|
28 | Mili Seif Eddine, Vincent Rodin |
WoT Search Engine based on Multi Agent System: A Conceptual Framework. |
Int. J. Interact. Mob. Technol. |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Jérémy Rivière 0002, Thomas Alves, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'h, Frank Singhoff, Vincent Rodin |
Modèle multi-agent d'auto-organisation pour le butinage au sein d'une colonie d'abeilles. |
ROIA |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Dimitrios Mavroeidis, Giovanni Maria Farinella |
Untrimmed Action Anticipation. |
CoRR |
2022 |
DBLP BibTeX RDF |
|
28 | Pavel A. Cheremkhin, Ekaterina A. Kurbatova, Nikolay N. Evtikhiev, Vitaly V. Krasnov, Vladislav G. Rodin, Rostislav S. Starikov |
Adaptive Digital Hologram Binarization Method Based on Local Thresholding, Block Division and Error Diffusion. |
J. Imaging |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Mathijs T. W. Schuts, Rodin T. A. Aarssen, Paul M. Tielemans, Jurgen J. Vinju |
Large-scale semi-automated migration of legacy C/C++ test code. |
Softw. Pract. Exp. |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Dimitrios Mavroeidis, Giovanni Maria Farinella |
Untrimmed Action Anticipation. |
ICIAP (3) |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Pavel A. Cheremkhin, Nikolay N. Evtikhiev, Alexander V. Kozlov, Vitaly V. Krasnov, Vladislav G. Rodin, Rostislav S. Starikov |
Virtual camera-based analysis of photosensor characterization methods. |
BICA*AI |
2022 |
DBLP DOI BibTeX RDF |
|
28 | Sergei Zenevich, Iskander Gazizov, Dmitry Churbanov, Yegor Plyashkov, Maxim Spiridonov, Ravil Talipov, Alexander Rodin |
A Concept of 2U Spaceborne Multichannel Heterodyne Spectroradiometer for Greenhouse Gases Remote Sensing. |
Remote. Sens. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Simon Moser, Valerie Rodin |
The 'Industrial Symbiosis Gap': information asymmetries are the main challenge for industrial symbiosis - evidence from four Austrian testbeds with a focus on heat exchange. |
Elektrotech. Informationstechnik |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Elena Fimmel, Andrei Rodin |
Editorial: The foundations of mathematics and theoretical biology. |
Biosyst. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Andrei Rodin |
Voevodsky's unfinished project: Filling the gap between pure and applied mathematics. |
Biosyst. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Dimitrios Mavroeidis, Giovanni Maria Farinella |
Predicting the future from first person (egocentric) vision: A survey. |
Comput. Vis. Image Underst. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Dimitrios Mavroeidis, Giovanni Maria Farinella |
Predicting the Future from First Person (Egocentric) Vision: A Survey. |
CoRR |
2021 |
DBLP BibTeX RDF |
|
28 | Boris van Sosin, Daniil Rodin, Hanna Sliusarenko, Michael Barton, Gershon Elber |
The Construction of Conforming-to-shape Truss Lattice Structures via 3D Sphere Packing. |
Comput. Aided Des. |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Ngoan-Thanh Trieu, Bernard Pottier, Vincent Rodin, Hiep Xuan Huynh 0001 |
Interpretable Machine Learning for Meteorological Data. |
ICMLSC |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Dmitry Rodin, Vasily Loginov, Ivan Zagaynov, Nikita Orlov |
Document Image Quality Assessment via Explicit Blur and Text Size Estimation. |
ICDAR (4) |
2021 |
DBLP DOI BibTeX RDF |
|
28 | Dmitry G. Drozdov, Nikolay N. Prokopenko, Evgeny M. Savchenko, Pavel A. Dukanov, V. G. Rodin, Andrey I. Grushin |
Technological and devices modeling of complementary JFETs over a wide temperature range. |
Microelectron. J. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Ngoan-Thanh Trieu, Zachary E. S. Williams, Jean-François M. Dorville, Hiep Xuan Huynh 0001, Vincent Rodin, Bernard Pottier |
Open Data for Environment Sensing: Crowdsourcing Geolocation Data. |
EAI Endorsed Trans. Context aware Syst. Appl. |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Dmitry Rodin, Andrey Zharkov, Ivan Zagaynov |
Faster Glare Detection on Document Images. |
DAS |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Rodin T. A. Aarssen, Tijs van der Storm |
High-fidelity metaprogramming with separator syntax trees. |
PEPM@POPL |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Antonino Furnari, Dimitrios Mavroeidis, Giovanni Maria Farinella |
Scene Understanding and Interaction Anticipation from First Person Vision (short paper). |
SmartPhil@IUI |
2020 |
DBLP BibTeX RDF |
|
28 | Thomas Alves, Jérémy Rivière 0002, Cédric Alaux, Yves Le Conte, Frank Singhoff, Thierry Duval, Vincent Rodin |
An Interruptible Task Allocation Model - Application to a Honey Bee Colony Simulation. |
PAAMS |
2020 |
DBLP DOI BibTeX RDF |
|
28 | Daniil Rodin |
Multidimensional Multimodal Content-Oriented Presentations. |
|
2020 |
RDF |
|
28 | Rodin Aarssen, Jurgen J. Vinju, Tijs van der Storm |
Concrete Syntax with Black Box Parsers. |
Art Sci. Eng. Program. |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Rodin Aarssen, Jurgen J. Vinju, Tijs van der Storm |
Concrete Syntax with Black Box Parsers. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
28 | Dmitry Rodin, Nikita Orlov |
Fast Glare Detection in Document Images. |
CoRR |
2019 |
DBLP BibTeX RDF |
|
28 | Christopher Dahlin Rodin, Fabio Augusto de Alcantara Andrade, Anthony Reinier Hovenburg, Tor Arne Johansen |
A Survey of Practical Design Considerations of Optical Imaging Stabilization Systems for Small Unmanned Aerial Systems. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Fabio Augusto de Alcantara Andrade, Anthony Hovenburg, Luciano Netto de Lima, Christopher Dahlin Rodin, Tor Arne Johansen, Rune Storvold, Carlos A. M. Correia, Diego Barreto Haddad |
Autonomous Unmanned Aerial Vehicles in Search and Rescue Missions Using Real-Time Cooperative Model Predictive Control. |
Sensors |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Daniil Rodin, Oded Shmueli, Gershon Elber |
Interactive 3D Visualization for Monitoring and Analysis of Geographical Traffic Data of Various Domains. |
ISVC (1) |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Thomas Alves, Jérémy Rivière 0002, Vincent Rodin, Thierry Duval |
Immersive and Interactive Visualisation of a Virtual Honey Bee Colony. |
EuroVR |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Irina Fedulova, Artem Shelmanov, Dmitry V. Dylov |
Multitask and Multimodal Neural Network Model for Interpretable Analysis of X-ray Images. |
BIBM |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Florian Rommel, Christian Dietrich 0001, Michael Rodin, Daniel Lohmann |
Multiverse: Compiler-Assisted Management of Dynamic Variability in Low-Level System Software. |
EuroSys |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Andrei Rodin, Serge Kovalyov |
Truth and Justification in Knowledge Representation. |
FCA4AI@IJCAI |
2019 |
DBLP BibTeX RDF |
|
28 | Dmitry Rodin, Nikita Orlov |
Fast Glare Detection in Document Images. |
WIADAR@ICDAR |
2019 |
DBLP DOI BibTeX RDF |
|
28 | Sena Apeke, Laurent Gaubert, Nicolas Boussion, Philippe Lambin, Dimitris Visvikis, Vincent Rodin, Pascal Redou |
Multi-Scale Modeling and Oxygen Impact on Tumor Temporal Evolution: Application on Rectal Cancer During Radiotherapy. |
IEEE Trans. Medical Imaging |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Daniil Rodin, Gershon Elber |
Automatic View Placement in 3D toward Hierarchical Non-Linear Presentations. |
VINCI |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Jérémy Rivière 0002, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'h, Vincent Rodin, Frank Singhoff |
Recrutement et auto-organisation : Vers un modèle multi-agent complet d'une colonie d'abeilles. |
JFSMA |
2018 |
DBLP BibTeX RDF |
|
28 | Christopher Dahlin Rodin, Tor Arne Johansen, Annette Stahl |
Skyline based camera attitude estimation using a digital surface model. |
AMC |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Jérémy Rivière 0002, Cédric Alaux, Yves Le Conte, Yves Layec, André Lozac'h, Vincent Rodin, Frank Singhoff |
Toward a Complete Agent-Based Model of a Honeybee Colony. |
PAAMS (Workshops) |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Christopher Dahlin Rodin, Luciano Netto de Lima, Fabio Augusto de Alcantara Andrade, Diego Barreto Haddad, Tor Arne Johansen, Rune Storvold |
Object Classification in Thermal Images using Convolutional Neural Networks for Search and Rescue Missions with Unmanned Aerial Systems. |
IJCNN |
2018 |
DBLP DOI BibTeX RDF |
|
28 | Andrei Rodin |
Venus Homotopically. |
FLAP |
2017 |
DBLP BibTeX RDF |
|
28 | V. S. Pershenkov, Aleksandr S. Petrov, Alexander S. Bakerenkov, Viktor N. Ulimov, V. A. Felytsyn, A. S. Rodin, V. V. Belyakov, V. A. Telets, V. V. Shurenkov |
True dose rate physical mechanism of ELDRS effect in bipolar devices. |
Microelectron. Reliab. |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Grigoriy Gogoshin, Eric Boerwinkle, Andrei S. Rodin |
New Algorithm and Software (BNOmics) for Inferring and Visualizing Bayesian Networks from Heterogeneous Big Biological and Genetic Data. |
J. Comput. Biol. |
2017 |
DBLP DOI BibTeX RDF |
|
28 | R. Rodin, Ivan Stajduhar |
The challenge of measuring distance to obstacles for the purpose of generating a 2-D indoor map using an autonomous robot equipped with an ultrasonic sensor. |
MIPRO |
2017 |
DBLP DOI BibTeX RDF |
|
28 | Ivan Rodin, Boris G. Mirkin |
Supercluster in Statics and Dynamics: An Approximate Structure Imitating a Rough Set. |
IJCRS (1) |
2017 |
DBLP DOI BibTeX RDF |
|
28 | V. S. Pershenkov, Alexander S. Bakerenkov, V. A. Felitsyn, A. S. Rodin, V. A. Telets, V. V. Belyakov |
ELDRS in SiGe transistors for room and low-temperature irradiation. |
Microelectron. Reliab. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Abdoulaye Sarr, Anya Désilles, Alexandra Fronville, Vincent Rodin |
A Viability Approach for Robustness Measurement, Organizational Autopoiesis, and Cell Turnover in a Multicellular System. |
J. Comput. Biol. |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Abdoulaye Sarr, Petra Miglierini, Alexandra Fronville, Vincent Rodin |
Directional Cellular Dynamics for Tissue Morphogenesis and Tumour Characterization by Aggressive Cancer Cells Identification. |
BIOINFORMATICS |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Vladimir A. Samodurov, Alexey S. Pozanenko, Alexander E. Rodin, Dmitry D. Churakov, Dmitry V. Dumskij, Evgeny A. Isaev, Andrey N. Kazantsev, Sergey V. Logvinenko, Vasily V. Oreshko, Maxim O. Toropov, Maria I. Volobueva |
Observations of Transient Phenomena in BSA Radio Survey at 110 MHz. |
DAMDID/RCDL (Selected Papers) |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Vladimir Samodurov, Alexey Pozanenko, Alexandr Rodin, Dmitry Churakov, Dmitry Dumsky, Evgeny Isaev, Andrey Kazantsev, Sergey Logvinenko, Vasily Oreshko, Maxim Toropov, Maria Volobueva |
Круглосуточный радио обзор неба на 110 МГц: база данных наблюдений и статистический анализ импульсных явлений в 2012-2013 гг. (The Daily Radio Sky Survey at 110 MHz: Database and Statistical Analysis of Transient Phenomena in 2012-2013). |
DAMDID/RCDL |
2016 |
DBLP BibTeX RDF |
|
28 | Ivan Rodin, Ekaterina Chernyak, Mikhail Dubov, Boris G. Mirkin |
Visualization of Dynamic Reference Graphs. |
TextGraphs@NAACL-HLT |
2016 |
DBLP DOI BibTeX RDF |
|
28 | Anne Jeannin-Girardon, Pascal Ballet, Vincent Rodin |
Large Scale Tissue Morphogenesis Simulation on Heterogenous Systems Based on a Flexible Biomechanical Cell Model. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Anna Sawka, Sharon E. Straus, Gary Rodin, Richard Tsang, James Brierley, Lorne Rotstein, Phillip Segal, Amiram Gafni, Shereen Ezzat, David Goldstein |
Exploring the relationship between patients' information preference style and knowledge acquisition process in a computerized patient decision aid randomized controlled trial. |
BMC Medical Informatics Decis. Mak. |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Pavel A. Cheremkhin, Nikolay N. Evtikhiev, Vitaly V. Krasnov, Vladislav G. Rodin, Sergey N. Starikov |
Increasing signal-to-noise ratio of reconstructed digital holograms by using light spatial noise portrait of camera's photosensor. |
Intelligent Robots and Computer Vision: Algorithms and Techniques |
2015 |
DBLP DOI BibTeX RDF |
|
28 | Nikolay N. Evtikhiev, Pavel A. Cheremkhin, Vitaly V. Krasnov, Vladislav G. Rodin, Sergey N. Starikov |
Increasing signal-to-noise ratio of registered images by using light spatial noise portrait of camera's photosensor. |
Intelligent Robots and Computer Vision: Algorithms and Techniques |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Abdoulaye Sarr, Alexandra Fronville, Vincent Rodin |
Morphogenesis Model for Systematic Simulation of Forms' Co-evolution with Constraints: Application to Mitosis. |
TPNC |
2014 |
DBLP DOI BibTeX RDF |
|
28 | Valeria de Paiva, Andrei Rodin |
Elements of Categorical Logic: Fifty Years Later. |
Logica Universalis |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Abdoulaye Sarr, Alexandra Fronville, Pascal Ballet, Vincent Rodin |
French Flag Tracking by Morphogenetic Simulation Under Developmental Constraints. |
CIBB |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Anne Jeannin-Girardon, Pascal Ballet, Vincent Rodin |
In silico study of mechanical stresses at the cellular level during tissue development. |
BIBE |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Anne Jeannin-Girardon, Pascal Ballet, Vincent Rodin |
An Efficient Biomechanical Cell Model to Simulate Large Multi-cellular Tissue Morphogenesis: Application to Cell Sorting Simulation on GPU. |
TPNC |
2013 |
DBLP DOI BibTeX RDF |
|
28 | Christian Köppe, Rick Rodin |
Guided Exploration: an Inductive Minimalist Approach for Teaching Tool-related Concepts and Techniques. |
CSERC |
2013 |
DBLP BibTeX RDF |
|
28 | Sébastien Tripodi, Pascal Ballet, Vincent Rodin |
GPU implementation and performance analysis of reactive agents having division and mobility capacities. |
Multiagent Grid Syst. |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Günther Of, Gregory J. Rodin, Olaf Steinbach, M. Taus |
Coupling of Discontinuous Galerkin Finite Element and Boundary Element Methods. |
SIAM J. Sci. Comput. |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Alexandra Fronville, Abdoulaye Sarr, Pascal Ballet, Vincent Rodin |
Mutational Analysis-Inspired Algorithms for Cells Self-Organization towards a Dynamic under Viability Constraints. |
SASO |
2012 |
DBLP DOI BibTeX RDF |
|
28 | Vincent Rodin, Gireg Desmeulles, Pascal Ballet, Pascal Redou, Christophe Le Gal |
An efficient algorithm based on weak synchronization for distributed in virtuo biological experiments. |
Multiagent Grid Syst. |
2011 |
DBLP DOI BibTeX RDF |
|
28 | Rick Rodin, Jon Leet, Maria Azua, Dwight Bygrave |
A pattern language for release and deployment management. |
PLoP |
2011 |
DBLP DOI BibTeX RDF |
|
28 | A. S. Semashko, Andrey S. Krylov, A. S. Rodin |
Using Blood Vessels Location Information in Optic Disk Segmentation. |
ICIAP (2) |
2011 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 186 (100 per page; Change: ) Pages: [ 1][ 2][ >>] |
|