Search results for "$k$-Cut"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Ming-Jer Tsai, Sheng-De Wang	A Fully Adaptive Routing Algorithm for Dynamically Injured Hypercubes, Meshes, and Tori.	IEEE Trans. Parallel Distributed Syst.	1998	DBLP DOI BibTeX RDF	progressive protocol, misrouting protocol, hypercube, mesh, packet switching, torus, dynamic fault, virtual cut-through switching, Fully adaptive routing
16	H. Yu, Gozde Bozdagi, S. Harrington	Feature Based Hierarchical Video Segmentation.	ICIP (2)	1997	DBLP DOI BibTeX RDF	feature-based hierarchical video segmentation, two-pass algorithm, scene break detection, camera cuts detection, low resolution video, histogram comparison, high resolution video, editing characteristics, discontinuous cut, dissolve, fade detection method, feature extraction, experimental results, video sequences
16	Dianne Miller, Walid A. Najjar	Empirical Evaluation of Deterministic and Adaptive Routing with Constant-Area Routers.	IEEE PACT	1997	DBLP DOI BibTeX RDF	constant-area routers, router complexity, saturation points, performance, hypercube networks, hypercube networks, adaptive routing, deterministic routing, virtual cut-through switching, k-ary n-cube networks
16	Erdmuthe Meyer zu Bexten, F. Sajadi, Claudio Moraga	Properties of Lindenmayer Fuzzy Languages and a-Driven Lindenmayer Languages.	ISMVL	1997	DBLP DOI BibTeX RDF	Lindenmayer fuzzy languages, Lindenmayer languages, /spl alpha/-cut, /spl alpha/-driven, fuzzy languages, parallel rewriting, non-monotonic development, formal languages, closure
16	Kang G. Shin, Chao-Ju Hou	Evaluation of Load Sharing in HARTS with Consideration of Its Communication Activities.	IEEE Trans. Parallel Distributed Syst.	1996	DBLP DOI BibTeX RDF	wrapped hexagonal mesh, point-to-point broadcasts, adaptive load sharing, performance analysis, distributed real-time systems, queuing models, virtual cut-through, Dynamic failure
16	Matthias Baaz, Christian G. Fermüller	Intuitionistic Counterparts of Finitely-Valued Logics.	ISMVL	1996	DBLP DOI BibTeX RDF	Kripke's model structures, finitely-valued logics, classical sequent calculus, cut-free complete, calculi, syntactical restriction, process algebra, multivalued logic, intuitionistic logic, Kripke structures
16	Prathima Agrawal, Balakrishnan Narendran, Narayanan Shivakumar	Multi-way partitioning of VLSI circuits.	VLSI Design	1996	DBLP DOI BibTeX RDF	multi-way partitioning, hierarchical design processes, nets cut metric, VLSI, delays, economics, logic CAD, VLSI layout, integrated circuit layout, VLSI circuits, logic partitioning, minimisation of switching nets, average delay, integrated circuit manufacture, cost metric
16	Steven Homer, Marcus Peinado	A highly parallel algorithm to approximate MaxCut on distributed memory architectures.	IPPS	1995	DBLP DOI BibTeX RDF	MaxCut, maximum weight cut, weighted undirected graph, linear speedup, parallel algorithms, parallel algorithm, graph theory, distributed memory systems, distributed memory architectures, Connection Machine
16	Stuart W. Daniel, Jennifer Rexford, James W. Dolter, Kang G. Shin	A programmable routing controller for flexible communications in point-to-point networks.	ICCD	1995	DBLP DOI BibTeX RDF	programmable routing controller, flexible communications, communication characteristics, custom ASIC, programmable processor, multiple routing-switching microcode routines, multiprocessor interconnection networks, packet switching, packet switching, application specific integrated circuits, wormhole switching, programmable controllers, firmware, performance requirements, virtual cut-through switching, point-to-point networks
16	Gustavo D. Pifarré, Luis Gravano, Sergio A. Felperin, Jorge L. C. Sanz	Fully Adaptive Minimal Deadlock-Free Packet Routing in Hypercubes, Meshes, and other Networks: Algorithms and Simulations.	IEEE Trans. Parallel Distributed Syst.	1994	DBLP DOI BibTeX RDF	adaptive minimal deadlock-free packet routing, virtual cut-through routing models, simulations, algorithms, concurrency control, message passing, hypercubes, multiprocessor interconnection networks, multiprocessor interconnection networks, meshes, packet switching, parallel machines, parallel machines, routing algorithms, deadlock, packet routing, shuffle-exchange, minimal paths, two-dimensional mesh
16	Zhenyu Wu, Richard M. Leahy	An Optimal Graph Theoretic Approach to Data Clustering: Theory and Its Application to Image Segmentation.	IEEE Trans. Pattern Anal. Mach. Intell.	1993	DBLP DOI BibTeX RDF	optimal graph theoretic approach, undirected adjacency graph, arc capacities, mutually exclusive subgraphs, largest inter-subgraph maximum flow minimization, flow and cut equivalent tree partitioning, subgraph condensation, partially equivalent tree, region boundary location, closed edge contours, pattern recognition, image segmentation, image segmentation, graph theory, data clustering, minimax techniques
16	Xiao-Jia M. Zhou, Tharam S. Dillon	A Statistical-Heuristic Feature Selection Criterion for Decision Tree Induction.	IEEE Trans. Pattern Anal. Mach. Intell.	1991	DBLP DOI BibTeX RDF	statistical-heuristic feature selection criterion, multibranching decision trees, built-in statistical test, proportional-reduction-in-error, cost-of-complexity heuristic, middle-cut preference, tau criterion, prepruning, dynamic error estimation, pattern recognition, pattern recognition, robustness, statistics, trees (mathematics), decision theory, Bayes methods, Bayesian classifier, decision tree induction
16	Piotr J. Gmytrasiewicz, Jeré A. Hassberger, John Chung-Mong Lee	Fault Tree Based Diagnostics Using Fuzzy Logic.	IEEE Trans. Pattern Anal. Mach. Intell.	1990	DBLP DOI BibTeX RDF	fault tree based diagnostics, fuzzy symptoms, two-step procedure, minimal cut-sets, triggered gates, fuzzy logic, fuzzy logic, failure analysis, failure modes, component failures, causal reasoning
16	Joost N. Kok	Specializtion in Logic Programming: from Horn Clause Logic to Prolog and Concurrent Prolog.	REX Workshop	1989	DBLP DOI BibTeX RDF	Horn Clause Logic, cut operator, committed-choice, Logic programming, Prolog, operational semantics, backtracking, synchronization mechanisms, Concurrent Prolog
15	Matthew Canton	The presence table: a reactive surface for ambient connection.	TEI	2011	DBLP DOI BibTeX RDF
15	Jean-Philippe P. Richard, Mohit Tawarmalani	Lifting inequalities: a framework for generating strong cuts for nonlinear programs.	Math. Program.	2010	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 90C26, 90C30, 90C11
15	Andrea Cerioli, Marco Riani, Anthony C. Atkinson	Controlling the size of multivariate outlier tests with the MCD estimator of scatter.	Stat. Comput.	2009	DBLP DOI BibTeX RDF	Minimum covariance determinant estimator, Robust distances, Multiple outliers, Simultaneous testing, Calibration factor, Simulation
15	Rudolf Fleischer	Die Another Day.	Theory Comput. Syst.	2009	DBLP DOI BibTeX RDF	Hydra battle, Buchholz Hydra, Peano arithmetic, PA, Koenig’s lemma, Transfinite induction
15	Josef Kallrath	Cutting circles and polygons from area-minimizing rectangles.	J. Glob. Optim.	2009	DBLP DOI BibTeX RDF	Non-overlap constraints, Global Optimization, Mixed integer programming, Assignment, Packing problem, Cutting stock problem, Shape constraints, Design problem
15	Aurore Amaudruz, Christina Fragouli	Combinatorial algorithms for wireless information flow.	SODA	2009	DBLP DOI BibTeX RDF
15	Siddharth Barman, Shuchi Chawla 0001	Packing multiway cuts in capacitated graphs.	SODA	2009	DBLP DOI BibTeX RDF
15	Tommy Färnqvist, Peter Jonsson, Johan Thapper	Approximability Distance in the Space of H-Colourability Problems.	CSR	2009	DBLP DOI BibTeX RDF	graph H-colouring, computational complexity, approximability, optimisation, graph homomorphism
15	Reid Andersen, Yuval Peres	Finding sparse cuts locally using evolving sets.	STOC	2009	DBLP DOI BibTeX RDF	evolving sets, graph partitioning, local algorithms
15	Thomas Bühler, Matthias Hein 0001	Spectral clustering based on the graph p-Laplacian.	ICML	2009	DBLP DOI BibTeX RDF
15	Petr A. Golovach, Dimitrios M. Thilikos	Paths of Bounded Length and Their Cuts: Parameterized Complexity and Algorithms.	IWPEC	2009	DBLP DOI BibTeX RDF	Bounded length disjoint paths, Bounded length cuts, Parameterized Complexity, Parameterized Algorithms
15	Mohammad Hosseinabady, Shervin Sharifi, Fabrizio Lombardi, Zainalabedin Navabi	A Selective Trigger Scan Architecture for VLSI Testing.	IEEE Trans. Computers	2008	DBLP DOI BibTeX RDF	Delay Testing, Test Compression, Test Application Time, Scan Test, Test Data Volume, Test Power
15	Yaodong Cui, Zhiyong Liu	T-shape homogenous block patterns for the two-dimensional cutting problem.	J. Glob. Optim.	2008	DBLP DOI BibTeX RDF	Unconstrained two-dimensional cutting, Homogenous blocks, Cutting stock
15	Feilong Liu, Jerry M. Mendel	Aggregation Using the Fuzzy Weighted Average as Computed by the Karnik-Mendel Algorithms.	IEEE Trans. Fuzzy Syst.	2008	DBLP DOI BibTeX RDF
15	Michael Rubinstein, Ariel Shamir, Shai Avidan	Improved seam carving for video retargeting.	ACM Trans. Graph.	2008	DBLP DOI BibTeX RDF	forward energy, video editing, seam carving, video retargeting, image retargeting
15	Juraj Brenkus, Viera Stopjaková, Jozef Mihálov	Experimental Analog Circuit for Parametric Test Methods Efficiency Evaluation.	DDECS	2008	DBLP DOI BibTeX RDF
15	Reid Andersen, Kevin J. Lang	An algorithm for improving graph partitions.	SODA	2008	DBLP BibTeX RDF
15	Zoya Svitkina, Lisa Fleischer	Submodular Approximation: Sampling-based Algorithms and Lower Bounds.	FOCS	2008	DBLP DOI BibTeX RDF
15	Jia Li 0022, Qiang Xu 0001, Yu Hu 0001, Xiaowei Li 0001	On reducing both shift and capture power for scan-based testing.	ASP-DAC	2008	DBLP DOI BibTeX RDF
15	Jiun-Hung Chen, Linda G. Shapiro	Medical image segmentation via min s-t cuts with sides constraints.	ICPR	2008	DBLP DOI BibTeX RDF
15	Qiong Wu 0003, Pierre Boulanger, Walter F. Bischof	Automatic bi-layer video segmentation based on sensor fusion.	ICPR	2008	DBLP DOI BibTeX RDF
15	Jing Chen, Xinqiao Lu, Qiaoling Luo, Ping Li, Xiaojuan Liu	A Segment Extraction-Combination Algorithm Based on Polygonal Approximation and Finite State Machines for On-Line Chinese Character Recognition.	ICYCS	2008	DBLP DOI BibTeX RDF
15	Thomas Sauerwald, Dirk Sudholt	Self-stabilizing Cuts in Synchronous Networks.	SIROCCO	2008	DBLP DOI BibTeX RDF
15	Yuan He 0004, Hao Ren, Yunhao Liu 0001, Baijian Yang	On the Reliability of Large-Scale Distributed Systems A Topological View.	ICPP	2008	DBLP DOI BibTeX RDF
15	Victor S. Lempitsky, Andrew Blake 0001, Carsten Rother	Image Segmentation by Branch-and-Mincut.	ECCV (4)	2008	DBLP DOI BibTeX RDF
15	Ho Yub Jung, Kyoung Mu Lee, Sang Uk Lee	Toward Global Minimum through Combined Local Minima.	ECCV (4)	2008	DBLP DOI BibTeX RDF
15	Xianchao Zhang 0001, Weifa Liang, Guoliang Chen 0001	Computing Maximum Flows in Undirected Planar Networks with Both Edge and Vertex Capacities.	COCOON	2008	DBLP DOI BibTeX RDF
15	Péter L. Erdös, Lajos Soukup	How To Split Antichains In Infinite Posets.	Comb.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000): 06A07, 03E05
15	Rashid Rashidzadeh, Majid Ahmadi, William C. Miller	Test and Measurement of Analog and RF Cores in Mixed-Signal SoC Environment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2007	DBLP DOI BibTeX RDF
15	Yaodong Cui, Qiang Wang	Exact and heuristic algorithms for the circle cutting problem in the manufacturing industry of electric motors.	J. Comb. Optim.	2007	DBLP DOI BibTeX RDF	Two-dimensional cutting, Silicon steel plates, Stators and rotors, Cutting
15	Hiroshi Nagamochi	Minimum Degree Orderings.	ISAAC	2007	DBLP DOI BibTeX RDF
15	Eunjung Han, Kirak Kim, HwangKyu Yang, Keechul Jung	Frame Segmentation Used MLP-Based X-Y Recursive for Mobile Cartoon Content.	HCI (3)	2007	DBLP DOI BibTeX RDF	X-Y recursive, frame segmentation, mobile cartoon contents, MLP
15	Liza Fireman, Erez Petrank, Ayal Zaks	New Algorithms for SIMD Alignment.	CC	2007	DBLP DOI BibTeX RDF
15	Matthias Baaz, George Metcalfe	Proof Theory for First Order Lukasiewicz Logic.	TABLEAUX	2007	DBLP DOI BibTeX RDF
15	Yehuda Lindell, Benny Pinkas	An Efficient Protocol for Secure Two-Party Computation in the Presence of Malicious Adversaries.	EUROCRYPT	2007	DBLP DOI BibTeX RDF
15	Fangfang Lu, Zhouyu Fu, Antonio Robles-Kelly	Efficient Graph Cuts for Multiclass Interactive Image Segmentation.	ACCV (2)	2007	DBLP DOI BibTeX RDF
15	Hidenori Kurokawa	Hypersequent Calculus for Intuitionistic Logic with Classical Atoms.	LFCS	2007	DBLP DOI BibTeX RDF
15	Ashwin Bommathanahalli, Maoyuan Xie, Zhifeng Yun, Sun Joseph Chang, Zhou Lei, Gabrielle Allen	TOPSAW Sawing Optimization Analysis Using Grid Computing.	IMSCCS	2007	DBLP DOI BibTeX RDF
15	Xiaoyan Peng, Daniel L. Silver	Interface Adaptation Based on User Expectation.	AINA Workshops (2)	2007	DBLP DOI BibTeX RDF
15	Dale Miller 0001, Alexis Saurin	From Proofs to Focused Proofs: A Modular Proof of Focalization in Linear Logic.	CSL	2007	DBLP DOI BibTeX RDF
15	Eftychios Sifakis, Kevin G. Der, Ronald Fedkiw	Arbitrary cutting of deformable tetrahedralized objects.	Symposium on Computer Animation	2007	DBLP DOI BibTeX RDF
15	Rudolf Fleischer	Die Another Day.	FUN	2007	DBLP DOI BibTeX RDF
15	Herve Lombaert, Yiyong Sun, Farida Cheriet	Landmark-Based Non-rigid Registration Via Graph Cuts.	ICIAR	2007	DBLP DOI BibTeX RDF
15	Amitai Armon, Uri Zwick	Multicriteria Global Minimum Cuts.	Algorithmica	2006	DBLP DOI BibTeX RDF
15	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton, Xinning Wang, Timothy Kam	Reducing Structural Bias in Technology Mapping.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
15	Wenchao Cai, Jue Wu, Albert C. S. Chung	Shape-Based Image Segmentation Using Normalized Cuts.	ICIP	2006	DBLP DOI BibTeX RDF
15	Xiaodong Wu 0001	Efficient Algorithms for the Optimal-Ratio Region Detection Problems in Discrete Geometry with Applications.	ISAAC	2006	DBLP DOI BibTeX RDF
15	Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio	Higher-Order Termination: From Kruskal to Computability.	LPAR	2006	DBLP DOI BibTeX RDF
15	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
15	Moses Charikar, Konstantin Makarychev, Yury Makarychev	Directed metrics and directed graph partitioning problems.	SODA	2006	DBLP DOI BibTeX RDF
15	Zhaohao Sun, Jun Han	Inverse alpha-Cuts and Interval [a, b) -Cuts.	ICICIC (1)	2006	DBLP DOI BibTeX RDF
15	Satrajit Chatterjee, Alan Mishchenko, Robert K. Brayton	Factor cuts.	ICCAD	2006	DBLP DOI BibTeX RDF
15	Steve Zelinka, Michael Garland	Surfacing by numbers.	Graphics Interface	2006	DBLP BibTeX RDF	geometry synthesis, texture synthesis, selection
15	Tan Yan, Qing Dong, Yasuhiro Takashima, Yoji Kajitani	How does partitioning matter for 3D floorplanning?	ACM Great Lakes Symposium on VLSI	2006	DBLP DOI BibTeX RDF	partitioning, floorplanning, 3D IC, wire length
15	Jonathan Eckstein, Mikhail Nediak	Depth-Optimized Convexity Cuts.	Ann. Oper. Res.	2005	DBLP DOI BibTeX RDF	convexity cuts, integer programming, cutting planes
15	Cid C. de Souza, Egon Balas	The vertex separator problem: algorithms and computations.	Math. Program.	2005	DBLP DOI BibTeX RDF
15	Xiaoyan Peng, Daniel L. Silver	User Control over User Adaptation: A Case Study.	User Modeling	2005	DBLP DOI BibTeX RDF
15	Kedar Dhamdhere, Vineet Goyal, R. Ravi 0001, Mohit Singh	How to Pay, Come What May: Approximation Algorithms for Demand-Robust Covering Problems.	FOCS	2005	DBLP DOI BibTeX RDF
15	Ara Hayrapetyan, David Kempe 0001, Martin Pál, Zoya Svitkina	Unbalanced Graph Cuts.	ESA	2005	DBLP DOI BibTeX RDF
15	Erik Frøkjær, Kasper Hornbæk	Cooperative usability testing: complementing usability tests with user-supported interpretation sessions.	CHI Extended Abstracts	2005	DBLP DOI BibTeX RDF	metaphors of human thinking, usability testing, contextual inquiry, think aloud
15	Huaxi Gu, Zhiliang Qiu, Zengji Liu, Guochang Kang, Kun Wang 0001, Feng Hong	Choice of Inner Switching Mechanisms in Terabit Router.	ICN (1)	2005	DBLP DOI BibTeX RDF
15	Wenyi Zeng, Yu Shi	Note on Interval-Valued Fuzzy Set.	FSKD (1)	2005	DBLP DOI BibTeX RDF
15	Peter J. Clarke, Junhua Ding, Brian A. Malloy	A Tool to Map Testing Techniques to Classes.	ITCC (2)	2005	DBLP DOI BibTeX RDF
15	Ayami Suzuka, Ryuhei Miyashiro, Akiko Yoshise, Tomomi Matsui	Semidefinite Programming Based Approaches to Home-Away Assignment Problems in Sports Scheduling.	AAIM	2005	DBLP DOI BibTeX RDF	Sports timetabling, Goemans and Williamsons approximation algorithm, semidefinite programming
15	Mahmud Fotuhi-Firuzabad, Roy Billinton, T. S. Munian, B. Vinayagam	A novel approach to determine minimal tie-sets of complex network.	IEEE Trans. Reliab.	2004	DBLP DOI BibTeX RDF
15	Tapio Elomaa, Juho Rousu	Efficient Multisplitting Revisited: Optima-Preserving Elimination of Partition Candidates.	Data Min. Knowl. Discov.	2004	DBLP DOI BibTeX RDF	convex functions, optimal partitions, numerical attributes, boundary points
15	Danny Z. Chen, Xiaodong Wu 0001	Efficient Algorithms for k-Terminal Cuts on Planar Graphs.	Algorithmica	2004	DBLP DOI BibTeX RDF
15	Amitai Armon, Uri Zwick	Multicriteria Global Minimum Cuts.	ISAAC	2004	DBLP DOI BibTeX RDF
15	Matthias Baaz, Alexander Leitsch	CERES in Many-Valued Logics.	LPAR	2004	DBLP DOI BibTeX RDF
15	Kevin J. Lang, Satish Rao	A Flow-Based Method for Improving the Expansion or Conductance of Graph Cuts.	IPCO	2004	DBLP DOI BibTeX RDF
15	Noga Alon, Baruch Awerbuch, Yossi Azar, Niv Buchbinder, Joseph Naor	A general approach to online network optimization problems.	SODA	2004	DBLP BibTeX RDF
15	Carsten Führmann, David J. Pym	On the Geometry of Interaction for Classical Logic.	LICS	2004	DBLP DOI BibTeX RDF
15	Xin Zheng, Deng Cai 0001, Xiaofei He 0001, Wei-Ying Ma, Xueyin Lin	Locality preserving clustering for image database.	ACM Multimedia	2004	DBLP DOI BibTeX RDF	locality preserving clustering, spectral clustering, image clustering, locality preserving projections
15	Abraham Duarte, Ángel Sánchez 0001, Felipe Fernández, Antonio S. Montemayor, Juan José Pantrigo	Top-Down Evolutionary Image Segmentation Using a Hierarchical Social Metaheuristic.	EvoWorkshops	2004	DBLP DOI BibTeX RDF
15	Nestor Siu, Eman Elghoneimy, Yunli Wang, William A. Gruver, Martin Fleetwood, Dilip B. Kotak	Rough mill component scheduling: heuristic search versus genetic algorithms.	SMC (5)	2004	DBLP DOI BibTeX RDF
15	Saurabh N. Adya, S. Chaturvedi, Jarrod A. Roy, David A. Papa, Igor L. Markov	Unification of partitioning, placement and floorplanning.	ICCAD	2004	DBLP DOI BibTeX RDF
15	David Workman, Margaret Bernard, Steven Pothoven	An Incremental Editor for Dynamic Hierarchical Drawing of Trees.	International Conference on Computational Science	2004	DBLP DOI BibTeX RDF
15	Anders Brun, Hans Knutsson, Hae-Jeong Park, Martha Elizabeth Shenton, Carl-Fredrik Westin	Clustering Fiber Traces Using Normalized Cuts.	MICCAI (1)	2004	DBLP DOI BibTeX RDF
15	Nitin Parimi, Xiaoling Sun	Toggle-Masking for Test-per-Scan VLSI Circuits.	DFT	2004	DBLP DOI BibTeX RDF
15	Andrew Blake 0001, Carsten Rother, Matthew A. Brown, Patrick Pérez, Philip H. S. Torr	Interactive Image Segmentation Using an Adaptive GMMRF Model.	ECCV (1)	2004	DBLP DOI BibTeX RDF
15	Vittorio Bilò, Vineet Goyal, R. Ravi 0001, Mohit Singh	On the Crossing Spanning Tree Problem.	APPROX-RANDOM	2004	DBLP DOI BibTeX RDF
15	Avrim Blum, John D. Lafferty, Mugizi Robert Rwebangira, Rajashekar Reddy	Semi-supervised learning using randomized mincuts.	ICML	2004	DBLP DOI BibTeX RDF
15	Navaratnasothie Selvakkumaran, Abhishek Ranjan, Salil Raje, George Karypis	Multi-resource aware partitioning algorithms for FPGAs with heterogeneous resources.	DAC	2004	DBLP DOI BibTeX RDF	multi-constraint, multi-resource, FPGA, partitioning, placement, hierarchical
15	Bhargab B. Bhattacharya, Alexej Dmitriev, Michael Gössel	Zero-Aliasing Space Compaction of Test Responses Using a Single Periodic Output.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Space compaction, testing, stuck-at faults, system-on-a-chip
15	Andrea Bobbio, Giuliana Franceschinis, Rossano Gaeta, Luigi Portinale	Parametric Fault Tree for the Dependability Analysis of Redundant Systems and Its High-Level Petri Net Semantics.	IEEE Trans. Software Eng.	2003	DBLP DOI BibTeX RDF	parametric fault tree, stochastic well-formed nets, Dependability analysis
15	Sara Negri	Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF