Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
25 | Chengshuai Wu, Dimos V. Dimarogonas |
From Partial and Horizontal Contraction to $k$-Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 69(4), pp. 2391-2398, April 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | Ron Ofir, Alexander I. Ovseevich, Michael Margaliot |
Contraction and k-contraction in Lurie systems with applications to networked systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Autom. ![In: Autom. 159, pp. 111341, January 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | R. Krithika 0001, V. K. Kutty Malu, Prafullkumar Tale |
Revisiting Path Contraction and Cycle Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2403.06290, 2024. The full citation details ...](Pics/full.jpeg) |
2024 |
DBLP DOI BibTeX RDF |
|
25 | R. Krithika 0001, V. K. Kutty Malu, Roohani Sharma, Prafullkumar Tale |
Parameterized Complexity of Biclique Contraction and Balanced Biclique Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2307.10607, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | R. Krithika 0001, V. K. Kutty Malu, Roohani Sharma, Prafullkumar Tale |
Parameterized Complexity of Biclique Contraction and Balanced Biclique Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: 43rd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2023, December 18-20, 2023, IIIT Hyderabad, Telangana, India, pp. 8:1-8:18, 2023, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-304-1. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
25 | Ryan McCloy, Jie Bao 0002 |
Contraction-Based Control of Switched Nonlinear Systems Using Dwell Times and Switched Contraction Metrics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Control. Syst. Lett. ![In: IEEE Control. Syst. Lett. 6, pp. 1382-1387, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Ron Ofir, Alexander I. Ovseevich, Michael Margaliot |
Contraction and k-contraction in Lurie systems with applications to networked systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2212.13440, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Jianyuan Hong, Hua-Jung Li, Chung-chi Yang, Chih-Lu Han, Jui-Chien Hsieh |
A clinical study on Atrial Fibrillation, Premature Ventricular Contraction, and Premature Atrial Contraction screening based on an ECG deep learning model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Soft Comput. ![In: Appl. Soft Comput. 126, pp. 109213, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
25 | Dongjun Wu |
Contraction Analysis of Nonlinear Systems on Riemannian Manifolds. (Analyse de contraction des systèmes non-linéaires sur des variétés Riemanniennes). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2022 |
RDF |
|
25 | Fumio Ito, Akihiro Kojima, Manabu Okui, Taro Nakamura 0001 |
Proposal for 3D-printed pneumatic artificial muscles -Effect of leaf spring stiffness on contraction amount and contraction force-. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SII ![In: 2020 IEEE/SICE International Symposium on System Integration, SII 2020, Honolulu, HI, USA, January 12-15, 2020, pp. 1163-1167, 2020, IEEE, 978-1-7281-6667-4. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
25 | Murchana Neog, Mohammed M. M. Jaradat, Pradip Debnath |
Common Fixed Point Results of Set Valued Maps for Aφ-Contraction and Generalized ϕ-Type Weak Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 11(7), pp. 894, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Patrick Girard 0004, Zach Weber |
Modal Logic without Contraction in a Metatheory without Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Rev. Symb. Log. ![In: Rev. Symb. Log. 12(4), pp. 685-701, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Wiha Choi, Sehoon Oh, Junghoon Lee, Chan Lee, Young-Kwan Kim |
Short-term Effects of Robot-Resistance Exercises on Muscle Strength and Activations: Types of Muscle Contraction and Speed of Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019, Berlin, Germany, July 23-27, 2019, pp. 5297-5300, 2019, IEEE, 978-1-5386-1311-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | Ciara Duignan, Mark Doolan, David Doyle, Joe McGowan, Sean O'Shaughnessy, Conor Minogue, Brian Caulfield 0001 |
A performance comparison of neuromuscular electrical stimulation protocols for isolated quadriceps contraction versus co-contraction of quadriceps and hamstrings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society, EMBC 2019, Berlin, Germany, July 23-27, 2019, pp. 3803-3806, 2019, IEEE, 978-1-5386-1311-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
25 | François Kimmig |
Modélisation multi-échelles de la contraction musculaire: De la dynamique stochastique des moteurs moléculaires à la mécanique des milieux continus. (Multi-scale modeling of muscle contraction: From stochastic dynamics of molecular motors to continuum mechanics). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2019 |
RDF |
|
25 | Zhihui Liu, Dongmei Hao, Lei Zhang, Juntao Liu, Xiya Zhou, Lin Yang, Yimin Yang, Xuwen Li, Song Zhang, Dingchang Zheng |
Comparison of electrohysterogram characteristics during uterine contraction and non-contraction during labor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), Jeju Island, South Korea, July 11-15, 2017, pp. 2924-2927, 2017, IEEE, 978-1-5090-2809-2. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
25 | Daeshik Choi, Anne Greenbaum |
An Algorithm for Finding a 2-Similarity Transformation from a Numerical Contraction to a Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Matrix Anal. Appl. ![In: SIAM J. Matrix Anal. Appl. 36(3), pp. 1248-1262, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Julian Shun, Yan Gu 0001, Guy E. Blelloch, Jeremy T. Fineman, Phillip B. Gibbons |
Sequential Random Permutation, List Contraction and Tree Contraction are Highly Parallel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SODA ![In: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015, pp. 431-448, 2015, SIAM, 978-1-61197-374-7. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
25 | Sven Ove Hansson |
Multiple and iterated contraction reduced to single-step single-sentence contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Synth. ![In: Synth. 173(2), pp. 153-177, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
25 | Valérie Moreau-Villéger |
Méthodes variationnelles et séquentielles pour l'étude de la contraction cardiaque. (Variational and sequential methods for the study of the cardiac contraction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2005 |
RDF |
|
25 | Amy T. Neidhard-Doll, Chandler A. Phillips, Daniel W. Repperger, David Reynolds |
Biomimetic model of skeletal muscle isometric contraction: II. A phenomenological model of the skeletal muscle excitation-contraction coupling process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Biol. Medicine ![In: Comput. Biol. Medicine 34(4), pp. 323-344, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
25 | Sven Ove Hansson |
Theory Contraction and Base Contraction Unified. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 58(2), pp. 602-625, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
25 | Hans Rott |
Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JELIA ![In: Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings, pp. 139-153, 1992, Springer, 3-540-55887-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
25 | André Fuhrmann |
Theory contraction through base contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Philos. Log. ![In: J. Philos. Log. 20(2), pp. 175-203, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
22 | Steven A. Niederer, Kawal S. Rhode, Reza Razavi, Nic Smith |
The Importance of Model Parameters and Boundary Conditions in Whole Organ Models of Cardiac Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, 5th International Conference, FIMH 2009, Nice, France, June 3-5, 2009. Proceedings, pp. 348-356, 2009, Springer, 978-3-642-01931-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
22 | Piotr Kaczmarek, Andrzej J. Kasinski |
Estimation of a Muscle Force from a Mechanomyographic Signal During a Contraction of a Single Motor Unit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer Recognition Systems 2 ![In: Computer Recognition Systems 2, pp. 581-588, 2008, Springer, 978-3-540-75174-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Michele Ruta, Tommaso Di Noia, Eugenio Di Sciascio, Floriano Scioscia |
Abduction and Contraction for Semantic-Based Mobile Dating in P2P Environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence ![In: 2008 IEEE / WIC / ACM International Conference on Web Intelligence, WI 2008, 9-12 December 2008, Sydney, NSW, Australia, Main Conference Proceedings, pp. 626-632, 2008, IEEE Computer Society, 978-0-7695-3496-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
22 | Angelo Montanari, Gabriele Puppis |
A Contraction Method to Decide MSO Theories of Deterministic Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 141-150, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Chung-Yu Wu, Chien-Ta Huang |
A CMOS Expansion/Contraction Motion Sensor with a Retinal Processing Circuit for Z-motion Detection Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2007), 27-20 May 2007, New Orleans, Louisiana, USA, pp. 3087-3090, 2007, IEEE, 1-4244-0920-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
22 | Hongtao Xu, Timothy S. Newman |
An Analysis of Errors in Feature-Preserving Mesh Simplification Based on Edge Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
3DPVT ![In: 3rd International Symposium on 3D Data Processing, Visualization and Transmission (3DPVT 2006), 14-16 June 2006, Chapel Hill, North Carolina, USA, pp. 671-678, 2006, IEEE Computer Society, 978-0-7695-2825-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
22 | Wei Wang 0008, Jean-Jacques E. Slotine |
On partial contraction analysis for coupled nonlinear oscillators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 92(1), pp. 38-53, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yin Wang, Xianlong Hong, Tong Jing, Yang Yang 0040, Xiaodong Hu 0001, Guiying Yan |
The polygonal contraction heuristic for rectilinear Steiner tree construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 1-6, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Nicolas Guilbert, Anders Heyden |
Contraction Mapping Calibration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISVC ![In: Advances in Visual Computing, First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings, pp. 678-683, 2005, Springer, 3-540-30750-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | K. Subramani 0001, Dejan Desovski |
On the Empirical Efficiency of the Vertex Contraction Algorithm for Detecting Negative Cost Cyles in Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2005, 5th International Conference, Atlanta, GA, USA, May 22-25, 2005, Proceedings, Part I, pp. 180-187, 2005, Springer, 3-540-26032-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
22 | Yonghong Song, Zhiyuan Li 0001 |
Applying Array Contraction to a Sequence of DOALL Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICPP ![In: 33rd International Conference on Parallel Processing (ICPP 2004), 15-18 August 2004, Montreal, Quebec, Canada, pp. 46-53, 2004, IEEE Computer Society, 0-7695-2197-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
22 | Sara Negri |
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(4), pp. 389-401, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
22 | Alexander Bochman |
Possible Worlds Semantics for Credulous and Contraction Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KI/ÖGAI ![In: KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings, pp. 94-105, 2001, Springer, 3-540-42612-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Sha Meng, Xin Kai Li, Gwynne Evans |
A Spectral Element Method for Oldroyd-B Fluid in a Contraction Channel. ![Search on Bibsonomy](Pics/bibsonomy.png) |
International Conference on Computational Science (1) ![In: Computational Science - ICCS 2001, International Conference, San Francisco, CA, USA, May 28-30, 2001. Proceedings, Part I, pp. 852-861, 2001, Springer, 3-540-42232-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
Viscoelastic flow, Oldroyd-B fluid, Spectral element method |
22 | Dominique Chapelle, Frédérique Clément, Frank Génot, Patrick Le Tallec, Michel Sorine, José M. Urquiza |
A Physiologically-Based Model for the Active Cardiac Muscle Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, First International Workshop, Helsinki, Finland, November 15-16, 2001, Proceedings, pp. 128-139, 2001, Springer, 3-540-42861-5. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Kam-Fai Chan, Chi-Wah Kok |
Mesh Simplification by Vertex Cluster Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Pacific Rim Conference on Multimedia ![In: Advances in Multimedia Information Processing - PCM 2001, Second IEEE Pacific Rim Conference on Multimedia, Bejing, China, October 24-26, 2001, Proceedings, pp. 1114-1119, 2001, Springer, 3-540-42680-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
22 | Aura Conci, Felipe R. Aquino |
Using Adaptive Contraction for Fractal Image Coding based on Local Fractal Dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIBGRAPI ![In: XII Brazilian Symposium on Computer Graphics and Image Processing (SIBGRAPI '99), October 17-20, 1999, Campinas, Brazil, pp. 231-240, 1999, IEEE Computer Society, 0-7695-0481-7. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | Ales Klemencic, Franjo Pernus, Stanislav Kovacic |
Modeling Morphological Changes During Contraction of Muscle Fibres by Active Contours. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAIP ![In: Computer Analysis of Images and Patterns, 8th International Conference, CAIP'99, Ljubljana, Slovenia, September 1-3, 1999, Proceedings, pp. 134-141, 1999, Springer, 3-540-66366-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
22 | R. Stong |
Mapping Zr into Zs with Maximal Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 20(1), pp. 131-138, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
22 | Alexandros V. Gerbessiotis, Constantinos J. Siniolakis, Alexandre Tiskin |
Parallel Priority Queue and List Contraction: The BSP Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par ![In: Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings, pp. 409-416, 1997, Springer, 3-540-63440-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
22 | Krzysztof Diks, Torben Hagerup |
More General Parallel Tree Contraction: Register Allocation and Broadcasting in a Tree. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 22nd International Workshop, WG '96, Cadenabbia (Como), Italy, June 12-14, 1996, Proceedings, pp. 126-140, 1996, Springer, 3-540-62559-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
22 | Ernst W. Mayr, Ralph Werchner |
Optimal Tree Contraction on the Hypercube and Related Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESA ![In: Algorithms - ESA '93, First Annual European Symposium, Bad Honnef, Germany, September 30 - October 2, 1993, Proceedings, pp. 295-305, 1993, Springer, 3-540-57273-2. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
22 | Wen-Jing Hsu, Carl V. Page, Jen-Shiuh Liu |
Parallel Contraction of Fibonacci Trees and Prefix Computations on a Family of Interconnection Topologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '92, 17th Colloquium on Trees in Algebra and Programming, Rennes, France, February 26-28, 1992, Proceedings, pp. 182-202, 1992, Springer, 3-540-55251-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
22 | Lih-Hsing Hsu, Jones J. J. Wang |
Undordered Tree Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCI ![In: Advances in Computing and Information - ICCI'91, International Conference on Computing and Information, Ottawa, Canada, May 27-29, 1991, Proceedings, pp. 347-349, 1991, Springer, 3-540-54029-6. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
18 | Foteini Agrafioti, Dimitrios Hatzinakos |
ECG biometric analysis in cardiac irregularity conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Signal Image Video Process. ![In: Signal Image Video Process. 3(4), pp. 329-343, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Discriminant analysis, Complexity measure, Electrocardiography, Cosine transform |
18 | Dapeng Yang, Jingdong Zhao, Yikun Gu, Li Jiang 0001, Hong Liu 0002 |
EMG pattern recognition and grasping force estimation: Improvement to the myocontrol of multi-DOF prosthetic hands. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 516-521, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Naoki Ogawa, Minoru Hashimoto, Midori Takasaki, Toshihiro Hirai |
Characteristics evaluation of PVC gel actuators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IROS ![In: 2009 IEEE/RSJ International Conference on Intelligent Robots and Systems, October 11-15, 2009, St. Louis, MO, USA, pp. 2898-2903, 2009, IEEE, 978-1-4244-3803-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Adan Cosgaya-Lozano, Norbert Zeh |
A Heuristic Strong Connectivity Algorithm for Large Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEA ![In: Experimental Algorithms, 8th International Symposium, SEA 2009, Dortmund, Germany, June 4-6, 2009. Proceedings, pp. 113-124, 2009, Springer, 978-3-642-02010-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
18 | Xing Qiao, Zhaoxing Li, Dan Ma |
Exponential Asymptotic Stability of a Two-Unit Standby Redundant Electronic Equipment System under Human Failure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (1) ![In: Advances in Neural Networks - ISNN 2009, 6th International Symposium on Neural Networks, ISNN 2009, Wuhan, China, May 26-29, 2009, Proceedings, Part I, pp. 244-252, 2009, Springer, 978-3-642-01506-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Exponential asymptotic stability, Quasi-compact operator, c 0-semigroup, Electronic equipment system |
18 | Takashi Tokizaki, Yuichi Tazaki, Hironori Mitake, Shoichi Hasegawa |
Pliant motion: integration of virtual trajectory control into LCP based physics engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGGRAPH Posters ![In: International Conference on Computer Graphics and Interactive Techniques, SIGGRAPH 2009, New Orleans, Louisiana, USA, August 3-7, 2009, Poster Proceedings, 2009, ACM, 978-1-4503-7928-1. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
iterative LCP solver, physics simulation, virtual creature |
18 | Hanifa Boucheneb |
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 20(2), pp. 225-238, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Interval timed coloured Petri nets, State class graph, Linear properties, State space |
18 | Hiroakira Ono |
An Algebraic Approach to Substructural Logics - An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Interval / Probabilistic Uncertainty and Non-Classical Logics ![In: Interval / Probabilistic Uncertainty and Non-Classical Logics, pp. 3-4, 2008, Springer, 978-3-540-77663-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto |
Computing the Tutte Polynomial in Vertex-Exponential Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 49th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2008, October 25-28, 2008, Philadelphia, PA, USA, pp. 677-686, 2008, IEEE Computer Society, 978-0-7695-3436-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Omar Doukari, Robert Jeansoulin, Éric Würbel |
A New Framework for Local Belief Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICAI ![In: MICAI 2008: Advances in Artificial Intelligence, 7th Mexican International Conference on Artificial Intelligence, Atizapán de Zaragoza, Mexico, October 27-31, 2008, Proceedings, pp. 54-64, 2008, Springer, 978-3-540-88635-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ilya Averbouch, Benny Godlin, Johann A. Makowsky |
A Most General Edge Elimination Polynomial. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graph-Theoretic Concepts in Computer Science, 34th International Workshop, WG 2008, Durham, UK, June 30 - July 2, 2008. Revised Papers, pp. 31-42, 2008, 978-3-540-92247-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Huizhen Yu, Dimitri P. Bertsekas |
New Error Bounds for Approximations from Projected Linear Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EWRL ![In: Recent Advances in Reinforcement Learning, 8th European Workshop, EWRL 2008, Villeneuve d'Ascq, France, June 30 - July 3, 2008, Revised and Selected Papers, pp. 253-267, 2008, Springer, 978-3-540-89721-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Ali Gharaviri, Asiyeh Vosolipour, Mohammad Teshnehlab, Hamid Abrishami Moghaddam |
Comparison of PVC Arrhythmia Detection Via Neural Networks and ANFIS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 1465-1470, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Shixue Zhang, Enhua Wu |
A Shape Feature Based Simplification Method for Deforming Meshes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GMP ![In: Advances in Geometric Modeling and Processing, 5th International Conference, GMP 2008, Hangzhou, China, April 23-25, 2008. Proceedings, pp. 548-555, 2008, Springer, 978-3-540-79245-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
LOD, Mesh simplification, Shape feature, Deforming mesh |
18 | Erik D. Demaine |
Algorithmic Graph Minors and Bidimensionality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWPEC ![In: Parameterized and Exact Computation, Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings, pp. 9, 2008, Springer, 978-3-540-79722-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
18 | Dinant A. Kistemaker, Arthur J. van Soest, Maarten F. Bobbert |
A model of open-loop control of equilibrium position and stiffness of the human elbow joint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 96(3), pp. 341-350, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | B. W. Verdaasdonk, H. F. J. M. Koopman, Frans C. T. van der Helm |
Resonance tuning in a neuro-musculo-skeletal model of the forearm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Biol. Cybern. ![In: Biol. Cybern. 96(2), pp. 165-180, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Makoto Takaki, Keiichi Tamura, Yasuma Mori, Hajime Kitakami |
A Extraction Method of Overlapping Cluster Based on Network Structure Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Web Intelligence/IAT Workshops ![In: Proceedings of the 2007 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology - Workshops, 2-5 November 2007, Silicon Valley, CA, USA, pp. 212-216, 2007, IEEE Computer Society, 0-7695-3028-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
18 | Guy Shechter, Jon R. Resar, Elliot R. McVeigh |
Displacement and velocity of the coronary arteries: cardiac and respiratory motion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Medical Imaging ![In: IEEE Trans. Medical Imaging 25(3), pp. 369-375, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Bin Shyan Jong, Juin-Ling Tseng, Wen Hao Yang |
An efficient and low-error mesh simplification method based on torsion detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Vis. Comput. ![In: Vis. Comput. 22(1), pp. 56-67, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
Torsion detection, Mesh simplification, Quadric error metric |
18 | Alwen Tiu |
A Local System for Intuitionistic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 242-256, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
locality, proof theory, intuitionistic logic, intermediate logics, deep inference, calculus of structures |
18 | Glenn Carl, Shashi Phoha, George Kesidis, Bharat B. Madan |
Path preserving scale down for validation of internet inter-domain routing protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the Winter Simulation Conference WSC 2006, Monterey, California, USA, December 3-6, 2006, pp. 2210-2218, 2006, IEEE Computer Society, 1-4244-0501-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Yin Sun, Chye Hwang Yan, Sim Heng Ong, Ek Tsoon Tan, Shih-Chang Wang |
Intensity-Based Volumetric Registration of Contrast-Enhanced MR Breast Images. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (1) ![In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006, 9th International Conference, Copenhagen, Denmark, October 1-6, 2006, Proceedings, Part I, pp. 671-678, 2006, Springer, 3-540-44707-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Ho Joon Kim, Juho Lee, Hyun Seung Yang |
A Weighted FMM Neural Network and Its Application to Face Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICONIP (2) ![In: Neural Information Processing, 13th International Conference, ICONIP 2006, Hong Kong, China, October 3-6, 2006, Proceedings, Part II, pp. 177-186, 2006, Springer, 3-540-46481-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
18 | Marc A. Maier, Larry E. Shupe, Eberhard E. Fetz |
Dynamic Neural Network Models of the Premotoneuronal Circuitry Controlling Wrist Movements in Primates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Neurosci. ![In: J. Comput. Neurosci. 19(2), pp. 125-146, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
motor system, primate, wrist movement, dynamic neural network |
18 | Fábio Gagliardi Cozman, Peter Walley |
Graphoid properties of epistemic irrelevance and independence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 45(1-2), pp. 173-195, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
credal set, epistemic independence, graphoid axioms, lower prevision, imprecise probability, conditional independence |
18 | Antonio A. F. Oliveira, Saulo Ribeiro, Claudio Esperança, Gilson A. Giraldi |
Loop Snakes: The Generalized Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IV ![In: 9th International Conference on Information Visualisation, IV 2005, 6-8 July 2005, London, UK, pp. 975-980, 2005, IEEE Computer Society, 0-7695-2397-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Ho Joon Kim, Hyun Seung Yang |
A Weighted Fuzzy Min-Max Neural Network and Its Application to Feature Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC (3) ![In: Advances in Natural Computation, First International Conference, ICNC 2005, Changsha, China, August 27-29, 2005, Proceedings, Part III, pp. 1178-1181, 2005, Springer, 3-540-28320-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Weiwei Shan, Dongming Jin, Weiwei Jin, Zhihao Xu |
VLSI Implementation of a Self-tuning Fuzzy Controller Based on Variable Universe of Discourse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSKD (1) ![In: Fuzzy Systems and Knowledge Discovery, Second International Conference, FSKD 2005, Changsha, China, August 27-29, 2005, Proceedings, Part I, pp. 1044-1052, 2005, Springer, 3-540-28312-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Avan Suinesiaputra, Alejandro F. Frangi, Hildo J. Lamb, Johan H. C. Reiber, Boudewijn P. F. Lelieveldt |
Automatic Prediction of Myocardial Contractility Improvement in Stress MRI Using Shape Morphometrics with Independent Component Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 19th International Conference, IPMI 2005, Glenwood Springs, CO, USA, July 10-15, 2005, Proceedings, pp. 321-332, 2005, Springer, 3-540-26545-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Mircea-Dan Hernest |
Light Functional Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSL ![In: Computer Science Logic, 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings, pp. 477-492, 2005, Springer, 3-540-28231-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Program extraction from (classical) proofs, Complexity of extracted programs, Berger’s uniform quantifiers, Functional interpretation, Proof Mining, Proof-Carrying Code |
18 | Xiaoyang Gao, Swarup Kumar Sahoo, Chi-Chung Lam, J. Ramanujam, Qingda Lu, Gerald Baumgartner, P. Sadayappan |
Performance modeling and optimization of parallel out-of-core tensor contractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPoPP ![In: Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2005, June 15-17, 2005, Chicago, IL, USA, pp. 266-276, 2005, ACM, 1-59593-080-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
parallel algorithms, performance modeling, compiler optimization, out-of-core algorithms |
18 | Shangmin Luan, Guozhong Dai |
A Computational Approach for Belief Change. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIS (1) ![In: Computational Intelligence and Security, International Conference, CIS 2005, Xi'an, China, December 15-19, 2005, Proceedings, Part I, pp. 355-360, 2005, Springer, 3-540-30818-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
18 | Carsten Führmann, David J. Pym |
On the Geometry of Interaction for Classical Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 19th IEEE Symposium on Logic in Computer Science (LICS 2004), 14-17 July 2004, Turku, Finland, Proceedings, pp. 211-220, 2004, IEEE Computer Society, 0-7695-2192-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Chao Shao, Houkuan Huang |
Improvement of Data Visualization Based on SOM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISNN (2) ![In: Advances in Neural Networks - ISNN 2004, International Symposium on Neural Networks, Dalian, China, August 19-21, 2004, Proceedings, Part II, pp. 707-712, 2004, Springer, 3-540-22843-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Xiuqin Chen, Shaoming Yang, M. Hasegawa, Kan Takeuchi, K. Kawabe, Seiji Motojima |
Novel Tactile Sensors Manufactured by Carbon Microcoils. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMENS ![In: 2004 International Conference on MEMS, NANO, and Smart Systems (ICMENS 2004), 25-27 August 2004, Banff, Alberta, Canada, pp. 486-491, 2004, IEEE Computer Society, 0-7695-2189-4. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Nicholas M. I. Noble, Derek L. G. Hill, Marcel Breeuwer, Reza Razavi |
The Automatic Identification of Hibernating Myocardium. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICCAI (2) ![In: Medical Image Computing and Computer-Assisted Intervention -- MICCAI 2004, 7th International Conference Saint-Malo, France, September 26-29, 2004, Proceedings, Part II, pp. 890-898, 2004, Springer, 3-540-22977-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
18 | Sandhya Krishnan, Sriram Krishnamoorthy, Gerald Baumgartner, Daniel Cociorva, Chi-Chung Lam, P. Sadayappan, J. Ramanujam, David E. Bernholdt, Venkatesh Choppella |
Data Locality Optimization for Synthesis of Efficient Out-of-Core Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HiPC ![In: High Performance Computing - HiPC 2003, 10th International Conference, Hyderabad, India, December 17-20, 2003, Proceedings, pp. 406-417, 2003, Springer, 3-540-20626-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Pierre Corbineau |
First-Order Reasoning in the Calculus of Inductive Constructions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers, pp. 162-177, 2003, Springer, 3-540-22164-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Jacques Ohayon, Christian Bourdarias, Stéphane Gerbi |
Does the Collagen Network Contribute to Normal Systolic Left Ventricular Wall Thickening? A Theoretical Study in Continuum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FIMH ![In: Functional Imaging and Modeling of the Heart, Second International Workshop, FIMH 2003, Lyon, France, June 5-6, 2003 Proceedings, pp. 91-100, 2003, Springer, 3-540-40262-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Samir Chopra, Johannes Heidema, Thomas Andreas Meyer |
Some Logics of Belief and Disbelief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australian Conference on Artificial Intelligence ![In: AI 2003: Advances in Artificial Intelligence, 16th Australian Conference on Artificial Intelligence, Perth, Australia, December 3-5, 2003, Proceedings, pp. 364-376, 2003, Springer, 3-540-20646-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
18 | Yll Haxhimusa, Roland Glantz, Maamar Saib, Georg Langs, Walter G. Kropatsch |
Logarithmic Tapering Graph Pyramid. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DAGM-Symposium ![In: Pattern Recognition, 24th DAGM Symposium, Zurich, Switzerland, September 16-18, 2002, Proceedings, pp. 117-124, 2002, Springer, 3-540-44209-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
18 | Jan von Plato |
A proof of Gentzen's Hauptsatz without multicut. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 40(1), pp. 9-18, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran |
On Computing Solutions to Belief Change Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECSQARU ![In: Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001, Proceedings, pp. 510-521, 2001, Springer, 3-540-42464-4. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
18 | Hen-Ming Lin, Jing-Yang Jou |
On computing the minimum feedback vertex set of a directed graph bycontraction operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19(3), pp. 295-307, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jayanta Mukherjee 0001, Pramod Kumar, Soumya K. Ghosh 0001 |
A graph-theoretic approach for studying the convergence of fractal encoding algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 9(3), pp. 366-377, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Izumi Takeuti |
Effective Fixed Point Theorem over a Non-computably Separable Metric Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCA ![In: Computability and Complexity in Analysis, 4th International Workshop, CCA 2000, Swansea, UK, September 17-19, 2000, Selected Papers, pp. 310-322, 2000, Springer, 3-540-42197-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
18 | Jacob K. Laading, Colin McCulloch, Valen E. Johnson, David R. Gilland, Ronald J. Jaszczak |
A Hierarchical Feature Based Deformation Model Applied to 4D Cardiac SPECT Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPMI ![In: Information Processing in Medical Imaging, 16th International Conference, IPMI'99, Visegrád, Hungary, June 28 - July 2, 1999, Proceedings, pp. 266-279, 1999, Springer, 3-540-66167-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
18 | Roberto Di Cosmo, Stefano Guerrini |
Strong Normalization of Proof Nets Modulo Structural Congruences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 10th International Conference, RTA-99, Trento, Italy, July 2-4, 1999, Proceedings, pp. 75-89, 1999, Springer, 3-540-66201-4. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Linear Logic, Proof Nets, Strong Normalization |
18 | Matthias Baaz, Agata Ciabattoni, Christian G. Fermüller, Helmut Veith |
Proof Theory of Fuzzy Logics: Urquhart's C and Related Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1998, 23rd International Symposium, MFCS'98, Brno, Czech Republic, August 24-28, 1998, Proceedings, pp. 203-212, 1998, Springer, 3-540-64827-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | Yasuo Kudo, Tetsuya Murai, Tsutomu Da-te |
The correspondence of belief changes in logical settings and the possibilistic framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Electronic Systems, 2nd International Conference, KES 1998, Adelaide, South Australia, 21-23 April 1998, Proceedings, Part II, pp. 221-229, 1998, IEEE. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
18 | In Kwon Kim, Rae-Hong Park |
Still image coding based on vector quantization and fractal approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Image Process. ![In: IEEE Trans. Image Process. 5(4), pp. 587-597, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|