Search results for "retraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
123	Narayan Vikas	Computational Complexity Classification of Partition under Compaction and Retraction.	COCOON	2004	DBLP DOI BibTeX RDF
108	Benjamin K. Poulose, Michael Kutka, Mario Mendoza-Sagaon, Aaron C. Barnes, Calvin Yang, Russell H. Taylor, Mark Talamini	Human Versus Robotic Organ Retraction During Laparoscopic Nissen Fundoplication.	MICCAI	1998	DBLP DOI BibTeX RDF
92	Daan G. E. Hobbelen, Martijn Wisse	Swing-Leg Retraction for Limit Cycle Walkers Improves Disturbance Rejection.	IEEE Trans. Robotics	2008	DBLP DOI BibTeX RDF
76	Byoung Keuk Kim, Joon Young Park, Hyun-Chan Lee, Deok-Soo Kim	Determination of Cutting Direction for Minimization of Tool Retraction Length in Zigzag Pocket Machining.	ICCSA (3)	2003	DBLP DOI BibTeX RDF
72	Carmen Escribano, Antonio Giraldo, María Asunción Sastre	Thinning Algorithms as Multivalued N{\mathcal{N}}-Retractions.	DGCI	2009	DBLP DOI BibTeX RDF	continuous multivalued function, Digital images, digital topology, simple point, retraction, thinning algorithm
61	Rik Jansen, Kris K. Hauser, Nuttapong Chentanez, A. Frank van der Stappen, Kenneth Y. Goldberg	Surgical retraction of non-uniform deformable layers of tissue: 2D robot grasping and path planning.	IROS	2009	DBLP DOI BibTeX RDF
61	Petter Risholm, Eigil Samset, Ion-Florin Talos, William M. Wells III	A Non-rigid Registration Framework That Accommodates Resection and Retraction.	IPMI	2009	DBLP DOI BibTeX RDF
61	Richard Booth 0001, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Belief Liberation (and Retraction).	Stud Logica	2005	DBLP DOI BibTeX RDF	AGM theory, withdrawal, Inclusion postulate, contraction, Belief revision
61	Richard Booth 0001, Samir Chopra, Aditya Ghose, Thomas Andreas Meyer	Belief liberation (and retraction).	TARK	2003	DBLP DOI BibTeX RDF
47	Steven Floyd, Serhat Adilak, Steven Ramirez, Raphael Rogman, Metin Sitti	Performance of different foot designs for a water running robot.	ICRA	2008	DBLP DOI BibTeX RDF
47	Hee-Kap Ahn, Siu-Wing Cheng, Otfried Cheong	Casting with Skewed Ejection Direction.	Algorithmica	2006	DBLP DOI BibTeX RDF	Castability, Computer-aided design and manufacturing, Algorithm, Computational geometry, Casting
47	Hee-Kap Ahn, Siu-Wing Cheng, Otfried Cheong	Casting with Skewed Ejection Direction.	ISAAC	1998	DBLP DOI BibTeX RDF
45	Liangjun Zhang, Dinesh Manocha	An efficient retraction-based RRT planner.	ICRA	2008	DBLP DOI BibTeX RDF
45	Jifeng He 0001	Linking Theories of Concurrency by Retraction.	ICDCIT	2005	DBLP DOI BibTeX RDF
45	Víctor Dalmau, Andrei A. Krokhin, Benoît Larose	First-Order Definable Retraction Problems for Posets and Reflexive Graph.	LICS	2004	DBLP DOI BibTeX RDF
45	Hai Sun, Francis E. Kennedy, Erik J. Carlson, Alex Hartov, David W. Roberts, Keith D. Paulsen	Modeling of Brain Tissue Retraction Using Intraoperative Data.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
45	Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H. Jaap van den Herik	Efficient Instance Retraction.	AIMSA	2002	DBLP DOI BibTeX RDF
41	Carmen Escribano, Antonio Giraldo, María Asunción Sastre	Digitally Continuous Multivalued Functions.	DGCI	2008	DBLP DOI BibTeX RDF	simple point, continuous function, retraction, Digital space
41	Roberto Cignoli, Antoni Torrens	Free Algebras in Varieties of Glivenko MTL-algebras Satisfying the Equation 2(x2) = (2x)2.	Stud Logica	2006	DBLP DOI BibTeX RDF	MTL-algebras, Glivenko MTL-algebras, Nilpotent Minimum algebras, DL-algebras, Boolean products, Boolean retraction property, free algebras
41	Lutz Schröder, Horst Herrlich	Free Factorizations.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	graph, factorization, category, word problem, retraction
31	Peter Apostoli, Akira Kanda	Proximity Spaces of Exact Sets.	RSFDGrC (1)	2005	DBLP DOI BibTeX RDF
31	Evgueni N. Smirnov, Ida G. Sprinkhuizen-Kuyper, H. Jaap van den Herik	One-Sided Instance-Based Boundary Sets.	Database Support for Data Mining Applications	2004	DBLP DOI BibTeX RDF
31	Steffen van Bakel, Ugo de'Liguoro	Logical Semantics for the First Order varsigma-Calculus.	ICTCS	2003	DBLP DOI BibTeX RDF
30	Fumihiko Asano	Effects of swing-leg retraction and mass distribution on energy-loss coefficient in limit cycle walking.	IROS	2009	DBLP DOI BibTeX RDF
30	Yongzhi Cao, Mingsheng Ying, Guoqing Chen	Retraction and Generalized Extension of Computing With Words.	IEEE Trans. Fuzzy Syst.	2007	DBLP DOI BibTeX RDF
30	Mitul Saha, Jean-Claude Latombe, Yu-Chi Chang, Friedrich Prinz	Finding Narrow Passages with Probabilistic Roadmaps: The Small-Step Retraction Method.	Auton. Robots	2005	DBLP DOI BibTeX RDF	probabilistic roadmaps, narrow passages, sampling strategies, motion planning
30	Evgueni N. Smirnov, Peter J. Braspenning	Version Space Retraction with Instance-Based Boundary Sets.	AIMSA	1998	DBLP DOI BibTeX RDF
29		Retraction: IPR Special Issue Retraction Statement.	IET Image Process.	2023	DBLP DOI BibTeX RDF
29	Xiaojuan Liu, Chenlin Wang, Dar-Zen Chen, Mu-Hsuan Huang	Exploring perception of retraction based on mentioned status in post-retraction citations.	J. Informetrics	2022	DBLP DOI BibTeX RDF
29	Fabio Palomba, Andy Zaidman	Retraction Note: Retraction note to: The smell of fear: on the relation between test smells and flaky tests.	Empir. Softw. Eng.	2020	DBLP DOI BibTeX RDF
25	Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, María Magdalena Fernández-Lebrón	Conservative Retractions of Propositional Logic Theories by Means of Boolean Derivatives: Theoretical Foundations.	Calculemus/MKM	2009	DBLP DOI BibTeX RDF	Conservative retraction, Independence Rule, boolean derivatives
25	Brian A. Davey, Miroslav Haviar	Applications of Priestley duality in transferring optimal dualities.	Stud Logica	2004	DBLP DOI BibTeX RDF	Natural duality, optimal duality, Priestley duality, endodualisability, endoprimality, retraction, entailment
25	Stephan Bischoff, Leif Kobbelt	Isosurface Reconstruction with Topology Control.	PG	2002	DBLP DOI BibTeX RDF	discrete deformation retraction, digital topology, isosurface extraction, topology preservation
25	Rozália Sz. Madarász, Boza Tasic	On the Partially Ordered Semigroup Generated by the Class Operators I, R, H, S, P.	Order	2001	DBLP DOI BibTeX RDF	class operators, operator of retraction, partially ordered semigroup and monoid
25	Bernd S. W. Schröder	Uniqueness of the Core for Chain-Complete Ordered Sets.	Order	2000	DBLP DOI BibTeX RDF	(comparative) retraction, dismantling, fixed point property, core
25	Michael McAllister, David G. Kirkpatrick, Jack Snoeyink	A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane	FOCS	1993	DBLP DOI BibTeX RDF	convex m-gon, compact piecewise-linear Voronoi diagram, convex sites, post-office problem, query site, retraction motion planning, one-dimensional retract, k disjoint convex sets, deterministic time, polygons, Euclidean metric
16	Michael D. Moffitt	MaizeRouter: Engineering an Effective Global Router.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2008	DBLP DOI BibTeX RDF
16	Hai-Yang Li, Sheng-Gang Li, Min-Hui Zhu	Cartesian product of compressible effect algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Compressible effect algebras, Normal sub-effect algebras, Effect algebras, Cartesian product
16	Michael D. Moffitt	MaizeRouter: Engineering an effective global router.	ASP-DAC	2008	DBLP DOI BibTeX RDF
16	Arvind Gupta, Pavol Hell, Mehdi Karimi 0001, Arash Rafiey	Minimum Cost Homomorphisms to Reflexive Digraphs.	LATIN	2008	DBLP DOI BibTeX RDF	minimum cost homomorphism, reflexive digraph, NP-completeness, polynomial time algorithm, homomorphism, dichotomy
16	Andy Prima Kencana, Soo C. Low, Louis Phee, Soon Chiang Low, Zhenglong Sun 0001, Van Aan Huynh, K. Y. Ho, S. C. Chung	Master and Slave Robotic System For Natural Orifice Transluminal Endoscopic Surgery.	RAM	2008	DBLP DOI BibTeX RDF
16	Eirini Mavritsaki, Nathan F. Lepora, John Porrill, Christopher H. Yeo, Paul Dean	Response linearity determined by recruitment strategy in detailed model of nictitating membrane control.	Biol. Cybern.	2007	DBLP DOI BibTeX RDF
16	Roberto Maieli	Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.	LPAR	2007	DBLP DOI BibTeX RDF
16	Luther R. Palmer, David E. Orin	Quadrupedal running at high speed over uneven terrain.	IROS	2007	DBLP DOI BibTeX RDF
16	Mike Stilman	Task constrained motion planning in robot joint space.	IROS	2007	DBLP DOI BibTeX RDF
16	Tsung-Han Tsai 0001, Chung-Yuan Lin	Visual Hand Gesture Segmentation Using Signer Model for Real-Time Human-Computer Interaction Application.	SiPS	2007	DBLP DOI BibTeX RDF
16	Simone G. O. Fiori	Neural Learning by Retractions on Manifolds.	ISCAS	2007	DBLP DOI BibTeX RDF
16	Mark Proctor	Relational Declarative Programming with JBoss Drools.	SYNASC	2007	DBLP DOI BibTeX RDF
16	Jifeng He 0001, C. A. R. Hoare	CSP Is a Retract of CCS.	UTP	2006	DBLP DOI BibTeX RDF
16	Willem-Jan van den Heuvel, Kees Leune, Mike P. Papazoglou	EFSOC: A Layered Framework for Developing Secure Interactions between Web-Services.	Distributed Parallel Databases	2005	DBLP DOI BibTeX RDF	security, role based access control, business process
16	James T. Hing, Ari D. Brooks, Jaydev P. Desai	Reality-Based Estimation of Needle and Soft-Tissue Interaction for Accurate Haptic Feedback in Prostate Brachytherapy Simulation.	ISRR	2005	DBLP DOI BibTeX RDF	Prostate Brachytherapy, Local Effective Modulus, Surgical Simulation, Soft-tissue Modeling
16	James Laird	The Elimination of Nesting in SPCF.	TLCA	2005	DBLP DOI BibTeX RDF
16	Søren B. Lassen	Eager Normal Form Bisimulation.	LICS	2005	DBLP DOI BibTeX RDF
16	Xavier Descombes, Frithjof Kruggel, Gert Wollny, Hermann Josef Gertz	An object-based approach for detecting small brain lesions: application to Virchow-Robin spaces.	IEEE Trans. Medical Imaging	2004	DBLP DOI BibTeX RDF
16	Christopher R. Hirschi, Mark A. Minor	Testing and Evaluation of an Automated Tether Management System for Microgravity Extravehicular Activities.	ICRA	2004	DBLP DOI BibTeX RDF
16	Alexandre Miquel	lamda-Z: Zermelo's Set Theory as a PTS with 4 Sorts.	TYPES	2004	DBLP DOI BibTeX RDF
16	Lara M. Vigneron, Jacques G. Verly, Simon K. Warfield	Modelling Surgical Cuts, Retractions, and Resections via Extended Finite Element Method.	MICCAI (2)	2004	DBLP DOI BibTeX RDF
16	Lara M. Vigneron, Jacques G. Verly, Simon K. Warfield	On Extended Finite Element Method (XFEM) for Modelling of Organ Deformations Associated with Surgical Cuts.	ISMS	2004	DBLP DOI BibTeX RDF
16	Mona Mathur, Basabi Bhaumik	Orientation Map Emerges in Parallel with the Formation of Receptive Fields in a Feedforward Neurotrophic Model.	ICONIP	2004	DBLP DOI BibTeX RDF
16	Feng-Hsu Wang	Knowledge Refinement Tools to Support Inductive Learning by Inquiry Examples.	ICWL	2003	DBLP DOI BibTeX RDF
16	Peter Apostoli, Akira Kanda	Upper and Lower Recursion Schemes in Abstract Approximation Spaces.	RSFDGrC	2003	DBLP DOI BibTeX RDF
16	Jun Okamoto, Mitsuhisa Iida, Kazuya Nambu, Masakatsu G. Fujie, Mitsuo Umezu, Hiroshi Iseki	A New Method to Extend Applicable Area of Minimally Invasive Neurosurgery by Brain Retract Manipulator.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
16	Benny P. L. Lo, Ara Darzi, Guang-Zhong Yang	Episode Classification for the Analysis of Tissue/Instrument Interaction with Multiple Visual Cues.	MICCAI (1)	2003	DBLP DOI BibTeX RDF
16	Georg Ringwelski	Object-Oriented Constraint Programming with J.CP.	MICAI	2002	DBLP DOI BibTeX RDF
16	Georg Ringwelski	Integrating Search Objects in Asynchronous Constraint Solving.	CP	2002	DBLP DOI BibTeX RDF
16	Vincent Padovani	Retracts in Simple Types.	TLCA	2001	DBLP DOI BibTeX RDF
16	Leonidas J. Guibas, Jack Snoeyink, Li Zhang 0001	Compact Voronoi Diagrams for Moving Convex Polygons.	SWAT	2000	DBLP DOI BibTeX RDF
16	Andrei Z. Broder, Alan M. Frieze, Eli Upfal	Dynamic Packet Routing on Arrays with Bounded Buffers.	LATIN	1998	DBLP DOI BibTeX RDF
16	Ryszard Raban, Harry S. Delugach	Animating Conceptual Graphs.	ICCS	1997	DBLP DOI BibTeX RDF
16	Michael McAllister, David G. Kirkpatrick, Jack Snoeyink	A Compact Piecewise-Linear Voronoi Diagram for Convex Sites in the Plane.	Discret. Comput. Geom.	1996	DBLP DOI BibTeX RDF
16	T. Crytser, Gora Chand Nandi, Elaine M. Hinman-Sweeney, Suren N. Dwivedi, Patrick A. Tobbe, D. W. Lyons	Finite element design of manipulator-coupled spacecraft for a research testbed.	J. Intell. Robotic Syst.	1995	DBLP DOI BibTeX RDF	Harmonic drives, Manipulator-Coupled Spacecraft, Control Moment Gyro, Lagrangian Equations of Motion, Finite Element Analysis
16	Jonathan I. Leivent, Ronald J. Watro	Mathematical Foundations of Time Warp Systems.	ACM Trans. Program. Lang. Syst.	1993	DBLP DOI BibTeX RDF	concurrency control, checkpoint, Time Warp, rollback, termination detection
16	Elsa L. Gunter	Pseudo-Retract Functors for Local Lattices and Bifinite L-domains.	Mathematical Foundations of Programming Semantics	1989	DBLP DOI BibTeX RDF
14	Bor Luen Tang	Potential Issues in Mandating a Disclosure of Institutional Investigation in Retraction Notices.	Sci. Eng. Ethics	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Blockchain-based intelligent contract for factoring business in supply chains.	Ann. Oper. Res.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Speech recognition with improved support vector machine using dual classifiers and cross fitness validation.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Paillier homomorphic cryptosystem with poker shuffling transformation based water marking method for the secured transmission of digital medical images.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: An optimised homomorphic CRT-RSA algorithm for secure and efficient communication.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Systematic acuity of medicinal big data: need of health industry.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Design on intelligence music system in the cultural center based on IoT.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Efficiency optimization and simulation to manufacturing and service systems based on manufacturing technology Just-In-Time.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Hybrid FOW - a novel whale optimized firefly feature selector for gait analysis.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Optimization of QoS parameters using scheduling techniques in heterogeneous network.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Design and development of microstrip patch antenna with circular and rectangular slot for structural health monitoring.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Region-specific multi-attribute white mass estimation-based mammogram classification.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Diagnosis and combating COVID-19 using wearable Oura smart ring with deep learning methods.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Analyzing gene polymorphism and metal folic acid interactions in neural tube defects using optimized deep recurrent neural networks.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Imaging features and clinical manifestations of neuromyelitis optica.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: An improved nature inspired meta-heuristic algorithm for 1-D bin packing problems.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Basketball culture event detection based on comprehensive integrated method.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Man-machine dialogue system optimization based on cloud computing.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Photographer trajectory detection from images.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Artificial intelligence technology based on deep learning in digestive endoscopy imaging diagnosis.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: A fuzzy model of wearable network real-time health monitoring system on pharmaceutical industry.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Recurrent learning of context for salient region detection.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: A fuzzy control model based on BP neural network arithmetic for optimal control of smart city facilities.	Pers. Ubiquitous Comput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Chatbot design issues: building intelligence with the cartesian paradigm.	Evol. Intell.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Model for estimating power dissipation along the interconnect length in single on-chip topology.	Evol. Intell.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Intrusion detection based on machine learning in the internet of things, attacks and counter measures.	J. Supercomput.	2024	DBLP DOI BibTeX RDF
14		Retraction Note: Encryption scheme with mixed homomorphic signature based on message authentication for digital image.	J. Supercomput.	2024	DBLP DOI BibTeX RDF