Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Liming Cai, Jianer Chen |
On Fixed-Parameter Tractability and Approximability of NP-Hard Optimization Problems. |
ISTCS |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Shao C. Fang, Santosh S. Venkatesh |
On the Average Tractability of Binary Integer Programming and the Curious Transition to Perfect Generalization in Learning Majority Functions. |
COLT |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Rodney G. Downey, Michael R. Fellows |
Fixed Parameter Tractability and Completeness. |
Complexity Theory: Current Research |
1992 |
DBLP BibTeX RDF |
|
16 | Christer Bäckström |
Equivalence and Tractability Results for SAS+ Planning. |
KR |
1992 |
DBLP BibTeX RDF |
|
16 | Tom Bylander |
Tractability and artificial intelligence. |
J. Exp. Theor. Artif. Intell. |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Bart Selman, Hector J. Levesque |
The Tractability of Path-Based Inheritance. |
Principles of Semantic Networks |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Tom Bylander |
The Monotonic Abduction Problem: A Functional Characterization on the Edge of Tractability. |
KR |
1991 |
DBLP BibTeX RDF |
|
16 | Bart Selman, Hector J. Levesque |
The Tractability of Path-Based Inheritance. |
IJCAI |
1989 |
DBLP BibTeX RDF |
|
16 | Sridhar Mahadevan, Prasad Tadepalli |
On the Tractability of Learning from Incomplete Theories. |
ML |
1988 |
DBLP BibTeX RDF |
|
16 | Hector J. Levesque, Ronald J. Brachman |
Expressiveness and tractability in knowledge representation and reasoning. |
Comput. Intell. |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Ronald J. Brachman, Hector J. Levesque |
The Tractability of Subsumption in Frame-Based Description Languages. |
AAAI |
1984 |
DBLP BibTeX RDF |
|
10 | Christoph Trattner, Ilire Hasani-Mavriqi, Denis Helic, Helmut Leitner |
The Austrian way of Wiki(pedia)!: development of a structured Wiki-based encyclopedia within a local Austrian context. |
Int. Sym. Wikis |
2010 |
DBLP DOI BibTeX RDF |
Austria-forum, context-aware Wiki, local Wiki, structured Wiki, Wiki |
10 | Limin Jia 0001, Jianzhou Zhao, Vilhelm Sjöberg, Stephanie Weirich |
Dependent types and program equivalence. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
dependent types, program equivalence |
10 | Magnus O. Myreen |
Verified just-in-time compiler on x86. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
self-modifying code, just in time, compiler verification |
10 | Sven Hartmann, Sebastian Link |
When data dependencies over SQL tables meet the logics of paradox and S-3. |
PODS |
2010 |
DBLP DOI BibTeX RDF |
logic of paradox, s-3 logic, data dependency, axiomatization, implication, null value |
10 | Patricia C. Arocena, Ariel Fuxman, Renée J. Miller |
Composing local-as-view mappings: closure and applications. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
10 | Shun'ichi Amano, Claire David, Leonid Libkin, Filip Murlak |
On the tradeoff between mapping and querying power in XML data exchange. |
ICDT |
2010 |
DBLP DOI BibTeX RDF |
|
10 | David James Love, Chun Kin Au-Yeung |
Optimization and tradeoff analysis of two-way limited feedback beamforming systems. |
IEEE Trans. Wirel. Commun. |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Yixin Chen 0002, Xin Dang, Hanxiang Peng, Henry L. Bart Jr. |
Outlier Detection with the Kernelized Spatial Depth Function. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Md. Mostafizur Rahman, Attahiru Sule Alfa |
Computationally efficient method for analyzing guard channel schemes. |
Telecommun. Syst. |
2009 |
DBLP DOI BibTeX RDF |
New call blocking probability, Handoff dropping probability, Handoff, Phase type distribution |
10 | Julian Seidenberg |
Web Ontology Segmentation: Extraction, Transformation, Evaluation. |
Modular Ontologies |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Christian Liebchen, Marco E. Lübbecke, Rolf H. Möhring, Sebastian Stiller |
The Concept of Recoverable Robustness, Linear Programming Recovery, and Railway Applications. |
Robust and Online Large-Scale Optimization |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jiong Guo, Rolf Niedermeier, Ondrej Suchý |
Parameterized Complexity of Arc-Weighted Directed Steiner Problems. |
ISAAC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Jiong Guo, Iyad A. Kanj, Christian Komusiewicz, Johannes Uhlmann |
Editing Graphs into Disjoint Unions of Dense Clusters. |
ISAAC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michael Dom, Michael R. Fellows, Frances A. Rosamond |
Parameterized Complexity of Stabbing Rectangles and Squares in the Plane. |
WALCOM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Miki Hermann, Florian Richoux |
On the Computational Complexity of Monotone Constraint Satisfaction Problems. |
WALCOM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Soumya Banerjee 0003, Melanie E. Moses |
A Hybrid Agent Based and Differential Equation Model of Body Size Effects on Pathogen Replication and Immune System Response. |
ICARIS |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann |
Deconstructing Intractability: A Case Study for Interval Constrained Coloring. |
CPM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michael Elberfeld, Ilka Schnoor, Till Tantau |
Influence of Tree Topology Restrictions on the Complexity of Haplotyping with Missing Data. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. |
TAMC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Xin Li 0033, William K. Cheung 0001, Jiming Liu 0001 |
On Compressibility and Acceleration of Orthogonal NMF for POMDP Compression. |
ACML |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michael Thomas 0001 |
The Complexity of Circumscriptive Inference in Post's Lattice. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Reinhard Pichler, Stefan Rümmele, Stefan Woltran |
Belief Revision with Bounded Treewidth. |
LPNMR |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Pierfrancesco La Mura |
Projective expected utility: a subjective formulation. |
TARK |
2009 |
DBLP DOI BibTeX RDF |
allais, ellsberg, projective, expected utility, quantum, paradoxes |
10 | Kishore Ramachandran, Ravi Kokku, Karthikeyan Sundaresan, Marco Gruteser, Sampath Rangarajan |
R2D2: regulating beam shape and rate as directionality meets diversity. |
MobiSys |
2009 |
DBLP DOI BibTeX RDF |
outdoor wireless networks, uplink capacity, mobility, rate adaptation, beamforming |
10 | Philippe Rolet, Michèle Sebag, Olivier Teytaud |
Optimal robust expensive optimization is tractable. |
GECCO |
2009 |
DBLP DOI BibTeX RDF |
UCT, expensive optimization, monte-carlo tree search |
10 | Stanislav Zivný, Peter G. Jeavons |
The Complexity of Valued Constraint Models. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero |
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network. |
CMSB |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Gábor Kun, Mario Szegedy |
A new line of attack on the dichotomy conjecture. |
STOC |
2009 |
DBLP DOI BibTeX RDF |
term operations, computational complexity, constraint satisfaction problems, fourier analysis, NP, dichotomy |
10 | Hamidreza Chitsaz, Rolf Backofen, Süleyman Cenk Sahinalp |
biRNA: Fast RNA-RNA Binding Sites Prediction. |
WABI |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Erol Gelenbe, Kumaara Velan |
An Approximate Model for Bidders in Sequential Automated Auctions. |
KES-AMSTA |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Mukul S. Bansal, Wen-Chieh Chang 0002, Oliver Eulenstein, David Fernández-Baca |
Generalized Binary Tanglegrams: Algorithms and Applications. |
BICoB |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Michael R. Fellows, Jiong Guo, Christian Komusiewicz, Rolf Niedermeier, Johannes Uhlmann |
Graph-Based Data Clustering with Overlaps. |
COCOON |
2009 |
DBLP DOI BibTeX RDF |
|
10 | André F. T. Martins, Noah A. Smith, Eric P. Xing |
Polyhedral outer approximations with application to natural language parsing. |
ICML |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Philip J. Charles, Jacob M. Howe, Andy King |
Integer Polyhedra for Program Analysis. |
AAIM |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Vineeth Veetil, Dennis Sylvester, David T. Blaauw, Saumil Shah, Steffen Rochel |
Efficient smart sampling based full-chip leakage analysis for intra-die variation considering state dependence. |
DAC |
2009 |
DBLP DOI BibTeX RDF |
statistical leakage, Monte Carlo, variance reduction |
10 | Sven Hartmann, Sebastian Link |
Expressive, yet tractable XML keys. |
EDBT |
2009 |
DBLP DOI BibTeX RDF |
|
10 | George Dimitri Christelis, Michael Rovatsos |
Automated norm synthesis in an agent-based planning environment. |
AAMAS (1) |
2009 |
DBLP BibTeX RDF |
social laws, coordination, conflict resolution, norms, automated planning |
10 | Gregory Z. Gutin, Eun Jung Kim 0002, Stefan Szeider, Anders Yeo |
A Probabilistic Approach to Problems Parameterized above or below Tight Bounds. |
IWPEC |
2009 |
DBLP DOI BibTeX RDF |
|
10 | Shu Chen, Yingying Chen 0001, Wade Trappe |
Exploiting environmental properties for wireless localization. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Wenbo He, Ying Huang, Klara Nahrstedt, Whay Chiou Lee |
Alert propagation in mobile ad hoc networks. |
ACM SIGMOBILE Mob. Comput. Commun. Rev. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Dimitris Fotakis 0001, Spyros C. Kontogiannis, Paul G. Spirakis |
Atomic congestion games among coalitions. |
ACM Trans. Algorithms |
2008 |
DBLP DOI BibTeX RDF |
convergence to equilibria, price of anarchy, congestion games, Algorithmic game theory |
10 | Georg Gottlob, Marko Samer |
A backtracking-based algorithm for hypertree decomposition. |
ACM J. Exp. Algorithmics |
2008 |
DBLP DOI BibTeX RDF |
hypertree decomposition, Constraint satisfaction |
10 | Michael Benedikt, Wenfei Fan, Floris Geerts |
XPath satisfiability in the presence of DTDs. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
XML, Satisfiability, XPath, Containment, DTDs |
10 | George Theodorakopoulos 0001, John S. Baras |
Game Theoretic Modeling of Malicious Users in Collaborative Networks. |
IEEE J. Sel. Areas Commun. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Daniel Kuhn |
Aggregation and discretization in multistage stochastic programming. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C15, 90C25, 49M29 |
10 | Aharon Ben-Tal, Arkadi Nemirovski |
Selected topics in robust convex optimization. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C34, 90C22, 90C05, 90C20, 90C15 |
10 | Ming Zhao, Ismael R. de Farias Jr. |
The mixing-MIR set with divisible capacities. |
Math. Program. |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 90C10, 90C57, 90C11 |
10 | Derek T. Anderson, Robert H. Luke III, James M. Keller |
Speedup of Fuzzy Clustering Through Stream Processing on Graphics Processing Units. |
IEEE Trans. Fuzzy Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Kerem Senel, A. Bulent Pamukcu, Serhat Yanik |
An Evolutionary Approach to Asset Allocation in Defined Contribution Pension Schemes. |
Natural Computing in Computational Finance |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Rajeev Motwani 0001, Shubha U. Nabar, Dilys Thomas |
Auditing SQL Queries. |
ICDE |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Markus Krötzsch, Sebastian Rudolph, Pascal Hitzler |
ELP: Tractable Rules for OWL 2. |
ISWC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Caleb K. Lo, Sriram Vishwanath, Robert W. Heath Jr. |
Relay Subset Selection in Wireless Networks Using Partial Decode-and-Forward Transmission. |
VTC Spring |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Igor Razgon, Barry O'Sullivan |
Almost 2-SAT Is Fixed-Parameter Tractable (Extended Abstract). |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Feodor F. Dragan, Fedor V. Fomin, Petr A. Golovach |
Spanners in Sparse Graphs. |
ICALP (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ali Rajabi, Aresh Dadlani, Farhad Hormozdiari, Ahmad Khonsari, Ahmad Kianrad, Hassan Seyed Razi |
Analysis of the Impact of Wavelength Converters on Contention Resolution in Optical Burst Switching. |
Asia International Conference on Modelling and Simulation |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ermelinda Oro, Massimo Ruffolo |
Towards a System for Ontology-Based Information Extraction from PDF Documents. |
OTM Conferences (2) |
2008 |
DBLP DOI BibTeX RDF |
Ontology, Knowledge Representation, Information Extraction, Datalog, Attribute Grammars |
10 | Guy L. Curry, Natarajan Gautam |
Characterizing the departure process from a two server Markovian queue: A non-renewal approach. |
WSC |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Stanislav Angelov, Sanjeev Khanna, Mirkó Visontai |
Robust Self-assembly of Graphs. |
DNA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Dieter Fiems, Stijn De Vuyst, Herwig Bruneel |
Flow Loss Characteristics in the Presence of Correlated Background Traffic. |
ITNG |
2008 |
DBLP DOI BibTeX RDF |
performance analysis, queueing theory, packet loss ratio |
10 | Dániel Marx, Ildikó Schlotter |
Parameterized Graph Cleaning Problems. |
WG |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Limin Jia 0001, Jeffrey A. Vaughan, Karl Mazurak, Jianzhou Zhao, Luke Zarko, Joseph Schorr, Steve Zdancewic |
AURA: a programming language for authorization and audit. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
access control, type systems, audit, authorization logic |
10 | Pierre Fraigniaud, Emmanuelle Lebhar, Laurent Viennot |
The Inframetric Model for the Internet. |
INFOCOM |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Victor S. Lempitsky, Stefan Roth 0001, Carsten Rother |
FusionFlow: Discrete-continuous optimization for optical flow estimation. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Wenfeng Li, Baoxin Li |
Joint Conditional Random Field of multiple views with online learning for image-based rendering. |
CVPR |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Philippe Jégou, Samba Ndiaye, Cyril Terrioux |
A New Evaluation of Forward Checking and Its Consequences on Efficiency of Tools for Decomposition of CSPs. |
ICTAI (1) |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Sven Hartmann, Henning Köhler, Sebastian Link, Thu Trinh, Jing Wang 0056 |
On the Notion of an XML Key. |
SDKB |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Sriraam Natarajan, Hung Hai Bui, Prasad Tadepalli, Kristian Kersting, Weng-Keen Wong |
Logical Hierarchical Hidden Markov Models for Modeling User Activities. |
ILP |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler |
Cheap Boolean Role Constructors for Description Logics. |
JELIA |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Nadja Betzler, Jiong Guo, Rolf Niedermeier |
Parameterized Computational Complexity of Dodgson and Young Elections. |
SWAT |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Ivo Krka, George Edwards, Leslie Cheung, Leana Golubchik, Nenad Medvidovic |
A Comprehensive Exploration of Challenges in Architecture-Based Reliability Estimation. |
WADS |
2008 |
DBLP DOI BibTeX RDF |
|
10 | Mark Gabel, Zhendong Su 0001 |
Symbolic mining of temporal specifications. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
formal specifications, dynamic analysis, specification mining |
10 | Stephen Chen 0001, Jonathan Tien, Brenda Spotton Visano |
A Hybrid Multi-agent Model for Financial Markets. |
IEA/AIE |
2008 |
DBLP DOI BibTeX RDF |
Financial Market Modelling, Social Investors, Multi-Agent Model |
10 | Nadja Betzler, Michael R. Fellows, Jiong Guo, Rolf Niedermeier, Frances A. Rosamond |
Fixed-Parameter Algorithms for Kemeny Scores. |
AAIM |
2008 |
DBLP DOI BibTeX RDF |
|
10 | J. G. Cederquist, Ricardo Corin, M. A. C. Dekker, Sandro Etalle, J. I. den Hartog, Gabriele Lenzini |
Audit-based compliance control. |
Int. J. Inf. Sec. |
2007 |
DBLP DOI BibTeX RDF |
Privacy, Access control, Policy, Audit |
10 | Hongyi Wu, Yu Wang 0019, Ha Dang, Feng Lin |
Analytic, Simulation, and Empirical Evaluation of Delay/Fault-Tolerant Mobile Sensor Networks. |
IEEE Trans. Wirel. Commun. |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Prashanth Hande, Shengyu Zhang, Mung Chiang |
Distributed rate allocation for inelastic flows. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
capacity provisioning, inelastic flow, network control by pricing, optimization, resource allocation, congestion control, network utility maximization |
10 | Smita Rai, Omkar Deshpande, Canhui Ou, Charles U. Martel, Biswanath Mukherjee |
Reliable multipath provisioning for high-capacity backbone mesh networks. |
IEEE/ACM Trans. Netw. |
2007 |
DBLP DOI BibTeX RDF |
degraded service, effective multipath bandwidth, flexible provisioning, multiconstrained paths, multipath provisioning, virtual concatenation (VCAT) |
10 | Björn Schnizler, Dirk Neumann 0001 |
Combinatorial exchanges for coordinating grid services. |
SIGecom Exch. |
2007 |
DBLP DOI BibTeX RDF |
auctions and bidding, market engineering |
10 | Claudio Gutierrez 0001, Carlos A. Hurtado, Alejandro A. Vaisman |
Introducing Time into RDF. |
IEEE Trans. Knowl. Data Eng. |
2007 |
DBLP DOI BibTeX RDF |
query languages, Data models, temporal databases |
10 | Gang Zeng, Sylvain Paris, Long Quan, François X. Sillion |
Accurate and Scalable Surface Representation and Reconstruction from Images. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2007 |
DBLP DOI BibTeX RDF |
reconstruction and applications, patchwork representation and reconstruction, patch-wise carving, patch-wise propagation, level-sets, graph-cuts, image processing and computer vision, Computing methodologies, space carving |
10 | José Alberto Hernández 0001, Iain W. Phillips, Javier Aracil 0001 |
Discrete-time heavy-tailed chains, and their properties in modeling network traffic. |
ACM Trans. Model. Comput. Simul. |
2007 |
DBLP DOI BibTeX RDF |
Discrete-time heavy-tailed chains, long-range dependence, heavy-tailed distributions, fractional Brownian motion, self-similar processes |
10 | Christian Bessiere, Emmanuel Hebrard, Brahim Hnich, Toby Walsh |
The Complexity of Reasoning with Global Constraints. |
Constraints An Int. J. |
2007 |
DBLP DOI BibTeX RDF |
Generalized arc consistency, Computational complexity, Constraint propagation, Global constraints |
10 | Samia Loucif, Mohamed Ould-Khaoua, Geyong Min |
A queueing model for predicting message latency in uni-directional k -ary n -cubes with deterministic routing and non-uniform traffic. |
Clust. Comput. |
2007 |
DBLP DOI BibTeX RDF |
M/G/1 queueing systems, Interconnection networks, Performance modelling, Hot spot, k-ary n-cubes, Deterministic routing |
10 | Derek Anderson, Robert H. Luke III, James M. Keller |
Incorporation of Non-euclidean Distance Metrics into Fuzzy Clustering on Graphics Processing Units. |
Analysis and Design of Intelligent Systems using Soft Computing Techniques |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Weimin Miao, Hongxia Yin, Donglei Du, Jiye Han |
Robust Optimization Model for a Class of Uncertain Linear Programs. |
ESCAPE |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Federico Mancini 0001 |
Minimum Fill-In and Treewidth of Split+ ke and Split+ kv Graphs. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Hannes Moser, Venkatesh Raman 0001, Somnath Sikdar |
The Parameterized Complexity of the Unique Coverage Problem. |
ISAAC |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Adila Krisnadhi, Carsten Lutz |
Data Complexity in the EL Family of Description Logics. |
LPAR |
2007 |
DBLP DOI BibTeX RDF |
|
10 | Yixin Chen 0002, Henry L. Bart Jr., Xin Dang, Hanxiang Peng |
Depth-Based Novelty Detection and Its Application to Taxonomic Research. |
ICDM |
2007 |
DBLP DOI BibTeX RDF |
|