Search results for "contraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
25	Chengshuai Wu, Dimos V. Dimarogonas	From Partial and Horizontal Contraction to $k$-Contraction.	IEEE Trans. Autom. Control.	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.	Autom.	2024	DBLP DOI BibTeX RDF
25	R. Krithika 0001, V. K. Kutty Malu, Prafullkumar Tale	Revisiting Path Contraction and Cycle Contraction.	CoRR	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.	CoRR	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.	FSTTCS	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.	IEEE Control. Syst. Lett.	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.	CoRR	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.	Appl. Soft Comput.	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).		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-.	SII	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.	Symmetry	2019	DBLP DOI BibTeX RDF
25	Patrick Girard 0004, Zach Weber	Modal Logic without Contraction in a Metatheory without Contraction.	Rev. Symb. Log.	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.	EMBC	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.	EMBC	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).		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.	EMBC	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.	SIAM J. Matrix Anal. Appl.	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.	SODA	2015	DBLP DOI BibTeX RDF
25	Sven Ove Hansson	Multiple and iterated contraction reduced to single-step single-sentence contraction.	Synth.	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).		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.	Comput. Biol. Medicine	2004	DBLP DOI BibTeX RDF
25	Sven Ove Hansson	Theory Contraction and Base Contraction Unified.	J. Symb. Log.	1993	DBLP DOI BibTeX RDF
25	Hans Rott	Modellings for Belief Change: Base Contraction, Multiple Contraction, and Epistemic Entrenchment.	JELIA	1992	DBLP DOI BibTeX RDF
25	André Fuhrmann	Theory contraction through base contraction.	J. Philos. Log.	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.	FIMH	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.	Computer Recognition Systems 2	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.	Web Intelligence	2008	DBLP DOI BibTeX RDF
22	Angelo Montanari, Gabriele Puppis	A Contraction Method to Decide MSO Theories of Deterministic Trees.	LICS	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.	ISCAS	2007	DBLP DOI BibTeX RDF
22	Hongtao Xu, Timothy S. Newman	An Analysis of Errors in Feature-Preserving Mesh Simplification Based on Edge Contraction.	3DPVT	2006	DBLP DOI BibTeX RDF
22	Wei Wang 0008, Jean-Jacques E. Slotine	On partial contraction analysis for coupled nonlinear oscillators.	Biol. Cybern.	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.	ASP-DAC	2005	DBLP DOI BibTeX RDF
22	Nicolas Guilbert, Anders Heyden	Contraction Mapping Calibration.	ISVC	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.	International Conference on Computational Science (1)	2005	DBLP DOI BibTeX RDF
22	Yonghong Song, Zhiyuan Li 0001	Applying Array Contraction to a Sequence of DOALL Loops.	ICPP	2004	DBLP DOI BibTeX RDF
22	Sara Negri	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
22	Alexander Bochman	Possible Worlds Semantics for Credulous and Contraction Inference.	KI/ÖGAI	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.	International Conference on Computational Science (1)	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.	FIMH	2001	DBLP DOI BibTeX RDF
22	Kam-Fai Chan, Chi-Wah Kok	Mesh Simplification by Vertex Cluster Contraction.	IEEE Pacific Rim Conference on Multimedia	2001	DBLP DOI BibTeX RDF
22	Aura Conci, Felipe R. Aquino	Using Adaptive Contraction for Fractal Image Coding based on Local Fractal Dimension.	SIBGRAPI	1999	DBLP DOI BibTeX RDF
22	Ales Klemencic, Franjo Pernus, Stanislav Kovacic	Modeling Morphological Changes During Contraction of Muscle Fibres by Active Contours.	CAIP	1999	DBLP DOI BibTeX RDF
22	R. Stong	Mapping Zr into Zs with Maximal Contraction.	Discret. Comput. Geom.	1998	DBLP DOI BibTeX RDF
22	Alexandros V. Gerbessiotis, Constantinos J. Siniolakis, Alexandre Tiskin	Parallel Priority Queue and List Contraction: The BSP Approach.	Euro-Par	1997	DBLP DOI BibTeX RDF
22	Krzysztof Diks, Torben Hagerup	More General Parallel Tree Contraction: Register Allocation and Broadcasting in a Tree.	WG	1996	DBLP DOI BibTeX RDF
22	Ernst W. Mayr, Ralph Werchner	Optimal Tree Contraction on the Hypercube and Related Networks.	ESA	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.	CAAP	1992	DBLP DOI BibTeX RDF
22	Lih-Hsing Hsu, Jones J. J. Wang	Undordered Tree Contraction.	ICCI	1991	DBLP DOI BibTeX RDF
18	Foteini Agrafioti, Dimitrios Hatzinakos	ECG biometric analysis in cardiac irregularity conditions.	Signal Image Video Process.	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.	IROS	2009	DBLP DOI BibTeX RDF
18	Naoki Ogawa, Minoru Hashimoto, Midori Takasaki, Toshihiro Hirai	Characteristics evaluation of PVC gel actuators.	IROS	2009	DBLP DOI BibTeX RDF
18	Adan Cosgaya-Lozano, Norbert Zeh	A Heuristic Strong Connectivity Algorithm for Large Graphs.	SEA	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.	ISNN (1)	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.	SIGGRAPH Posters	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.	Formal Aspects Comput.	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.	Interval / Probabilistic Uncertainty and Non-Classical Logics	2008	DBLP DOI BibTeX RDF
18	Andreas Björklund, Thore Husfeldt, Petteri Kaski, Mikko Koivisto	Computing the Tutte Polynomial in Vertex-Exponential Time.	FOCS	2008	DBLP DOI BibTeX RDF
18	Omar Doukari, Robert Jeansoulin, Éric Würbel	A New Framework for Local Belief Revision.	MICAI	2008	DBLP DOI BibTeX RDF
18	Ilya Averbouch, Benny Godlin, Johann A. Makowsky	A Most General Edge Elimination Polynomial.	WG	2008	DBLP DOI BibTeX RDF
18	Huizhen Yu, Dimitri P. Bertsekas	New Error Bounds for Approximations from Projected Linear Equations.	EWRL	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.	ICNSC	2008	DBLP DOI BibTeX RDF
18	Shixue Zhang, Enhua Wu	A Shape Feature Based Simplification Method for Deforming Meshes.	GMP	2008	DBLP DOI BibTeX RDF	LOD, Mesh simplification, Shape feature, Deforming mesh
18	Erik D. Demaine	Algorithmic Graph Minors and Bidimensionality.	IWPEC	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.	Biol. Cybern.	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.	Biol. Cybern.	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.	Web Intelligence/IAT Workshops	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.	IEEE Trans. Medical Imaging	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.	Vis. Comput.	2006	DBLP DOI BibTeX RDF	Torsion detection, Mesh simplification, Quadric error metric
18	Alwen Tiu	A Local System for Intuitionistic Logic.	LPAR	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.	WSC	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.	MICCAI (1)	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.	ICONIP (2)	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.	J. Comput. Neurosci.	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.	Ann. Math. Artif. Intell.	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.	IV	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.	ICNC (3)	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.	FSKD (1)	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.	IPMI	2005	DBLP DOI BibTeX RDF
18	Mircea-Dan Hernest	Light Functional Interpretation.	CSL	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.	PPoPP	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.	CIS (1)	2005	DBLP DOI BibTeX RDF
18	Carsten Führmann, David J. Pym	On the Geometry of Interaction for Classical Logic.	LICS	2004	DBLP DOI BibTeX RDF
18	Chao Shao, Houkuan Huang	Improvement of Data Visualization Based on SOM.	ISNN (2)	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.	ICMENS	2004	DBLP DOI BibTeX RDF
18	Nicholas M. I. Noble, Derek L. G. Hill, Marcel Breeuwer, Reza Razavi	The Automatic Identification of Hibernating Myocardium.	MICCAI (2)	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.	HiPC	2003	DBLP DOI BibTeX RDF
18	Pierre Corbineau	First-Order Reasoning in the Calculus of Inductive Constructions.	TYPES	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.	FIMH	2003	DBLP DOI BibTeX RDF
18	Samir Chopra, Johannes Heidema, Thomas Andreas Meyer	Some Logics of Belief and Disbelief.	Australian Conference on Artificial Intelligence	2003	DBLP DOI BibTeX RDF
18	Yll Haxhimusa, Roland Glantz, Maamar Saib, Georg Langs, Walter G. Kropatsch	Logarithmic Tapering Graph Pyramid.	DAGM-Symposium	2002	DBLP DOI BibTeX RDF
18	Jan von Plato	A proof of Gentzen's Hauptsatz without multicut.	Arch. Math. Log.	2001	DBLP DOI BibTeX RDF
18	James P. Delgrande, Torsten Schaub, Hans Tompits, Stefan Woltran	On Computing Solutions to Belief Change Scenarios.	ECSQARU	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.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	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.	IEEE Trans. Image Process.	2000	DBLP DOI BibTeX RDF
18	Izumi Takeuti	Effective Fixed Point Theorem over a Non-computably Separable Metric Space.	CCA	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.	IPMI	1999	DBLP DOI BibTeX RDF
18	Roberto Di Cosmo, Stefano Guerrini	Strong Normalization of Proof Nets Modulo Structural Congruences.	RTA	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.	MFCS	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.	KES (2)	1998	DBLP DOI BibTeX RDF
18	In Kwon Kim, Rae-Hong Park	Still image coding based on vector quantization and fractal approximation.	IEEE Trans. Image Process.	1996	DBLP DOI BibTeX RDF