VLDB 2026 Research / reviewers in the wild / expert
Vilém Novák
dblp:97/2490
· DBLP profile ↗
94ranked-venue papers
46as first author
12since 2021 · last 2026
—ORCID · conflict
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 87 · 43 first-author · 12 since 2021Databases, data management, data science and information retrieval · 18 · 8 first-author · 2 since 2021Applied, interdisciplinary, general and emerging computing · 2 · 1 since 2021Human-computer interaction and ubiquitous computing · 1 · 1 first-authorTheory of computation · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Intermediate syllogisms and non-monotonic reasoningabstractIn this article, we will show how relations forming the graded Peterson's square of opposition (contrary, contradictory, sub-contrary and sub-alterns) are connected with intermediate logical syllogisms, i.e., syllogisms that contain intermediate quantifiers. Our results are related to the theory of non-monotonic reasoning. Vilém Novák, Petra Murinová |
Int. J. Approx. Reason. | 1 |
| 2025 | Verification of Validity of Logical Syllogisms Generated by Cube of Opposition Using Extended Peterson's Rules
Petra Murinová, Vilém Novák |
EUSFLAT (1) | 2 |
| 2025 | Graded hexagon of opposition in fuzzy natural logic with new intermediate quantifiersabstractIn this article, we will form a graded hexagon of opposition as an extension of the graded Peterson's square, incorporating new variations of intermediate quantifiers. We will start with the classical Aristotle's square of opposition and its extension to hexagon. Then we introduce the graded square of opposition that was suggested by Peterson and fully formalized by the authors. We also introduce quantifiers A few ( A little ) and Several and include them in the latter. Then we introduce new forms of quantifiers and study relations of contrary, sub-contrary, contradictory and sub-(sup-)altern among them. On the basis of the knowledge of the relations among all the intermediate quantifiers we construct the graded Peterson's hexagon of opposition. Petra Murinová, Karel Fiala, Stefania Boffa, Vilém Novák |
Int. J. Approx. Reason. | 4 |
| 2024 | Logical syllogisms with "Almost all, Most, Many, A few" and "Several"abstractThis paper delves into logical syllogisms featuring intermediate quantifiers. In our previous works, we established the validity of logical syllogisms involving fundamental intermediate quantifiers “Almost all”, “Most”, and “Many”. In this paper, we focus on syllogisms incorporating also the quantifiers “Several” and “A few (A little)”. Petra Murinová, Vilém Novák |
Int. J. Approx. Reason. | 2 |
| 2023 | Verification of validity of syllogisms with intermediate quantifiers is equivalent with checking Peterson's rules
Vilém Novák, Petra Murinová |
Int. J. Approx. Reason. | 1 |
| 2022 | On Modeling of Fuzzy Peterson's Syllogisms Using Peterson's Rules
Petra Murinová, Vilém Novák |
IPMU (1) | 2 |
| 2022 | Analysis of Peterson's Rules for Syllogisms with Intermediate Quantifiers
Vilém Novák, Petra Murinová |
IPMU (1) | 1 |
| 2022 | Graded cubes of opposition in fuzzy formal concept analysisabstractWe recently introduced special fuzzy quantifiers named quantifier-based operators to form extended fuzzy concept lattices and to construct graded squares, hexagons, octagons and decagons of oppositions. This article aims to extend our previous works by organizing quantifier-based operators in more general structures of oppositions: the so-called graded cubes of opposition and 5-graded cubes of opposition. Stefania Boffa, Petra Murinová, Vilém Novák, Petr Ferbas |
Int. J. Approx. Reason. | 3 |
| 2022 | Formal analysis of Peterson's rules for checking validity of syllogisms with intermediate quantifiers
Vilém Novák, Petra Murinová, Petr Ferbas |
Int. J. Approx. Reason. | 1 |
| 2021 | Graded polygons of opposition in fuzzy formal concept analysis
Stefania Boffa, Petra Murinová, Vilém Novák |
Int. J. Approx. Reason. | 3 |
| 2021 | A proposal to extend Relational Concept Analysis with fuzzy scaling quantifiers
Stefania Boffa, Petra Murinová, Vilém Novák |
Knowl. Based Syst. | 3 |
| 2021 | A fuzzy method for evaluating similar behavior between assets
Soheyla Mirshahi, Vilém Novák |
Soft Comput. | 2 |
| 2020 | Graded Decagon of Opposition with Fuzzy Quantifier-Based Concept-Forming Operators
Stefania Boffa, Petra Murinová, Vilém Novák |
IPMU (3) | 3 |
| 2020 | A Fuzzy Approach for Similarity Measurement in Time Series, Case Study for Stocks
Soheyla Mirshahi, Vilém Novák |
IPMU (3) | 2 |
| 2020 | Graded Cube of Opposition with Intermediate Quantifiers in Fuzzy Natural Logic
Petra Murinová, Vilém Novák |
IPMU (3) | 2 |
| 2020 | Gold Price: Trend-Cycle Analysis Using Fuzzy Techniques
Linh Nguyen 0002, Vilém Novák, Michal Holcapek |
IPMU (3) | 2 |
| 2020 | On the Properties of Intermediate Quantifiers and the Quantifier "MORE-THAN"
Vilém Novák, Petra Murinová, Stefania Boffa |
IPMU (3) | 1 |
| 2020 | The theory of intermediate quantifiers in fuzzy natural logic revisited and the model of "Many"
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2019 | LFL Forecaster: Analysis, Forecasting and Mining Information from Time SeriesabstractIn this paper, we describe the software LFL Forecaster for analysis, forecasting and mining information from time series using special methods of fuzzy modeling. The main theoretical tools are fuzzy transform and methods of fuzzy natural logic. The software also provides information in sentences of natural language mined from time series. We demonstrate functioning of the software on several real time series from the area of economy and other sectors. Vilém Novák, Soheyla Mirshahi, Viktor Pavliska |
FUZZ-IEEE | 1 |
| 2019 | Forecasting seasonal time series based on fuzzy techniques
Linh Nguyen 0002, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2019 | Subtypes in fuzzy type theory
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2018 | First Steps Towards Harnessing Partial Functions in Fuzzy Type Theory
Vilém Novák |
IPMU (1) | 1 |
| 2017 | Trend-cycle forecasting based on new fuzzy techniquesabstractThis contribution is devoted to a method for forecasting of the trend-cycle of time series based on the application of a combination of the higher degree fuzzy transform and fuzzy natural logic (FNL) techniques. The main idea is to predict future components of the direct fuzzy transform of a time series. The forecast of trend-cycle is then computed using the inverse fuzzy transform applied to the predicted components. Linh Nguyen 0002, Vilém Novák |
FUZZ-IEEE | 2 |
| 2017 | Fuzzy logic in natural language processingabstractOne of the proclaims often emphasized in papers on fuzzy sets and fuzzy logic is their ability to model semantics of certain linguistic expressions because their inherent vagueness can be captured by fuzzy sets. This direction of research was initiated by L. A. Zadeh already in his early papers and since then, most of the applications of fuzzy sets emphasize presence of natural language, at least in hidden form. Still, this ability is not generally accepted by linguists. In this paper we try to show that capturing linguistic semantics requires more sophisticated models. One possibility has been elaborated in the concept of fuzzy natural logic (FNL) that is a mathematical theory whose roots lay in the concept of natural logic developed by linguists and logicians. We also argue that it is reasonable to develop a simplified model that would capture the main features of the semantics of natural language and thus make it possible to realize sophisticated technical applications. In the paper, we outline how model of the meaning of basic constituents of natural language (nouns, adjectives, adverbs, verbs) has been elaborated in FNL. Vilém Novák |
FUZZ-IEEE | 1 |
| 2017 | Editorial
Ferdinando Di Martino, Vilém Novák, Salvatore Sessa 0002 |
Soft Comput. | 2 |
| 2017 | Multivariate fuzzy transform of complex-valued functions determined by monomial basis
Linh Nguyen 0002, Michal Holcapek, Vilém Novák |
Soft Comput. | 3 |
| 2016 | Graded Generalized Hexagon in Fuzzy Natural Logic
Petra Murinová, Vilém Novák |
IPMU (2) | 2 |
| 2016 | Non-commutative first-order EQ-logics
Martin Dyba, Moataz Saleh El-Zekey, Vilém Novák |
Fuzzy Sets Syst. | 3 |
| 2016 | Linguistic characterization of time series
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2016 | Mining information from time series in the form of sentences of natural language
Vilém Novák |
Int. J. Approx. Reason. | 1 |
| 2015 | Note to semantical interpretation of non-trivial syllogisms with intermediate quantifiersabstractThis paper is a contribution to the study of a special kind of syllogisms with intermediate quantifiers. We stem from our previous papers where a formal theory of the intermediate quantifiers was introduced. Besides other results, we syntactically proved validity of 105 basic syllogisms with them. We also demonstrated how our theory works in the semantic interpretation. In this paper, we will address some special kinds of syllogisms that are non-trivial in the sense that both premises as well as conclusion contain general intermediate quantifiers. Petra Murinová, Vilém Novák |
FUZZ-IEEE | 2 |
| 2015 | Filtering out high frequencies in time series using F-transform with respect to raised cosine generalized uniform fuzzy partitionabstractIn this paper, we apply the F-transform technique with respect to raised cosine generalized uniform fuzzy partition to analysis of time series. We assume that the time series can be additively decomposed into trend-cycle, seasonal component and noise. We will prove that when constructing reasonably the fuzzy partition then the inverse F-transform of the time series provides a good approximation of its trend-cycle. Namely, the F-transform with respect to raised cosine generalized uniform fuzzy partition is able to eliminate completely the seasonal component and significantly reduce noise. Linh Nguyen 0002, Vilém Novák |
FUZZ-IEEE | 2 |
| 2015 | Necessary and sufficient conditions for generalized uniform fuzzy partitions
Michal Holcapek, Irina Perfilieva, Vilém Novák, Vladik Kreinovich |
Fuzzy Sets Syst. | 3 |
| 2015 | Evaluative linguistic expressions vs. fuzzy categories
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2014 | Specialized software for fuzzy natural logic and fuzzy transform applicationsabstractIn this paper, three special soft computing software systems are presented. The systems are based on the original results in two areas: fuzzy natural logic and fuzzy transform. The first software is LFL Controller that is a universal SW system that can be used in fuzzy or linguistic control, and in decision-making. The system implements results of fuzzy natural logic, namely the theory of evaluative linguistic expressions and perception-based logical deduction. This means the control or decision strategy are defined directly in natural language. Additionally, it can also realize classical fuzzy control on the basis of relational interpretation of fuzzy IF-THEN rules. This system has wide range of applications and was already applied in control of real plants. The second system is LFL Forecaster that is a specialized SW for analysis and forecasting of time series. The analysis is realized using F-transform and forecasting using results of fuzzy natural logic. The third system is FT-Studio that is a specialized SW for computation of fuzzy transform of functions that can be defined either using a formula, or given by data. Vilém Novák, Viktor Pavliska, Radek Valásek |
FUZZ-IEEE | 1 |
| 2014 | Determination of Soil Damage by Fuzzy AnalysisabstractWe analyse three soil horizons in each square kilometre of certain local area. The goal of the work is to determine the degree of damage to soil horizons by cluster analysis. From these analyses we constructed RGB maps that show areas with the same or similar damage of soil horizons in the whole area and we also tried to determine the degree of soil damage. We applied cluster analysis and fuzzy cluster analysis. Michal Grec, Matej Horacek, Vilém Novák |
ICTAI | 3 |
| 2014 | On General Properties of Intermediate Quantifiers
Vilém Novák, Petra Murinová |
IPMU (2) | 1 |
| 2014 | Analysis of generalized square of opposition with intermediate quantifiers
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2014 | The structure of generalized intermediate syllogisms
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2014 | Filtering out high frequencies in time series using F-transform
Vilém Novák, Irina Perfilieva, Michal Holcapek, Vladik Kreinovich |
Inf. Sci. | 1 |
| 2013 | Semantic Interpretation of Intermediate Quantifiers and Their Syllogisms
Petra Murinová, Vilém Novák |
FQAS | 2 |
| 2013 | Linguistic Descriptions: Their Structure and Applications
Vilém Novák, Martin Stepnicka, Jiri Kupka |
FQAS | 1 |
| 2013 | Noise reduction in time series using F-transformabstractIn this paper, we will focus on the application of fuzzy transform (F-transform) in the analysis of time series. We assume that the time series is decomposed into two constituents: the trend-cycle and random noise. We will demonstrate that using the F-transform we can reduce the variability of random noise which consequence is an extraction of the trend-cycle. Michal Holcapek, Vilém Novák, Irina Perfilieva |
FUZZ-IEEE | 2 |
| 2013 | Why inverse F-transform? A compression-based explanationabstractIn many practical situations, e.g., in signal processing, image processing, analysis of temporal data, it is very useful to use fuzzy (F-) transforms. In an F-transform, we first replace a function x(t) by a few local averages (this is called forward F-transform), and then reconstruct the original function from these averages (this is called inverse F-transform). While the formula for the forward F-transform makes perfect intuitive sense, the formula for the inverse F-transform seems, at first glance, somewhat counter-intuitive. On the other hand, its empirical success shows that this formula must have a good justification. In this paper, we provide such a justification - a justification which is based on formulating a reasonable compression-based criterion. Vladik Kreinovich, Irina Perfilieva, Vilém Novák |
FUZZ-IEEE | 3 |
| 2013 | Damaged Letter Recognition Methodology - A Comparison Study
Eva Volná, Vaclav Kocian, Michal Janosek, Hashim Habiballa, Vilém Novák |
IJCCI | 5 |
| 2012 | Bio-inspired Genetic Algorithms on FPGA Evolvable Hardware
Vladimir Kasik, Marek Penhaker, Vilém Novák, Radka Pustkova, Frantisek Kutalek |
ACIIDS (2) | 3 |
| 2012 | Advanced CT and MR Image Processing with FPGA
Vladimir Kasik, Martin Cerný 0002, Marek Penhaker, Václav Snásel, Vilém Novák, Radka Pustkova |
IDEAL | 5 |
| 2012 | A formal theory of generalized intermediate syllogisms
Petra Murinová, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2012 | Reasoning about mathematical fuzzy logic and its future
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2012 | Elements of model theory in higher-order fuzzy logic
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2011 | EQ-logics: Non-commutative fuzzy logics based on fuzzy equality
Martin Dyba, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2011 | On good EQ-algebras
Moataz Saleh El-Zekey, Vilém Novák, Radko Mesiar |
Fuzzy Sets Syst. | 2 |
| 2010 | Genuine Linguistic Fuzzy Logic Control: Powerful and Successful Control Method
Vilém Novák |
IPMU | 1 |
| 2010 | Continuity issues of the implicational interpretation of fuzzy rules
Martin Stepnicka, Ulrich Bodenhofer, Martina Danková, Vilém Novák |
Fuzzy Sets Syst. | 4 |
| 2009 | EQ-algebras
Vilém Novák, Bernard De Baets |
Fuzzy Sets Syst. | 1 |
| 2009 | Formal methods for fuzzy mathematics, approximation and reasoning - Part II
Vilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula |
Fuzzy Sets Syst. | 1 |
| 2008 | Analysis and prediction of time series using fuzzy transformabstractA new methodology for forecasting of time series is proposed. It is based on combination of two techniques: fuzzy transform and perception-based logical deduction on the basis of learned linguistic description. Irina Perfilieva, Vilém Novák, Viktor Pavliska, Antonín Dvorák, Martin Stepnicka |
IJCNN | 2 |
| 2008 | A formal theory of intermediate quantifiers
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2008 | A comprehensive theory of trichotomous evaluative linguistic expressions
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2008 | Formal methods for fuzzy mathematics, approximation and reasoning - Part I
Vilém Novák, Irina Perfilieva, Libor Behounek, Petr Cintula |
Fuzzy Sets Syst. | 1 |
| 2008 | Mining pure linguistic associations from numerical data
Vilém Novák, Irina Perfilieva, Antonín Dvorák, Qiang Wei 0001 |
Int. J. Approx. Reason. | 1 |
| 2008 | Fuzzy transform in the analysis of data
Irina Perfilieva, Vilém Novák, Antonín Dvorák |
Int. J. Approx. Reason. | 2 |
| 2007 | A Plea for the Usefulness of the Deductive Interpretation of Fuzzy Rules in Engineering ApplicationsabstractThis contribution is intended as a position paper that favors the viewpoint that inference based on deductive rules (i.e., the rules are interpreted using fuzzy implication) can indeed be considered as a valuable inference scheme in real-world applications. For this purpose, we highlight the basic concepts behind the most common fuzzy inference schemes and demonstrate their interpretation by means of illustrative examples. We conclude that, under some reasonable conditions, deductive inference is able to compete with or even outperform the well-known Mamdani-Assilian inference. Ulrich Bodenhofer, Martina Danková, Martin Stepnicka, Vilém Novák |
FUZZ-IEEE | 4 |
| 2007 | EQ-Algebras in Progress
Vilém Novák |
IFSA (2) | 1 |
| 2007 | Algebraic analysis of fuzzy systems
Antonio Di Nola, Ada Lettieri, Irina Perfilieva, Vilém Novák |
Fuzzy Sets Syst. | 4 |
| 2007 | Fuzzy logic with countable evaluated syntax revisited
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2007 | Selected papers from the International Conference "The Logic of Soft Computing IV" and Fourth workshop of the ERCIM working group on soft computing
Vilém Novák, Siegfried Gottwald, Petr Hájek 0001 |
Fuzzy Sets Syst. | 1 |
| 2007 | System of fuzzy relation equations as a continuous model of IF-THEN rules
Irina Perfilieva, Vilém Novák |
Inf. Sci. | 2 |
| 2006 | What is Fuzzy Logic?
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2006 | Which logic is the real fuzzy logic?
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2006 | Logical structure of fuzzy IF-THEN rules
Vilém Novák, Stephan Lehmke |
Fuzzy Sets Syst. | 1 |
| 2005 | Perception-Based Logical Deduction as Alternative Approximate Reasoning MethodabstractThis paper is a contribution to the approximate reasoning theory. We present an alternative to the well known Mamdani rule, which we call the perception-based logical deduction. The leading assumption is that fuzzy IF-THEN rules are interpreted as genuine linguistic sentences consisting of the, so called, evaluating linguistic expressions. Evaluating expressions determined on the basis of an observation in a concrete context are called perceptions. The latter and sets of fuzzy IF-THEN rules, called linguistic descriptions, are used in derivation of a conclusion. The perception-based deduction is demonstrated to behave in accordance with human way of reasoning. A lot of simulations as well as real applications corroborate that it works very well and is easy for the user because of natural language comprehension Vilém Novák |
FUZZ-IEEE | 1 |
| 2005 | On fuzzy type theory
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2005 | Are fuzzy sets a reasonable tool for modeling vague phenomena?
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2004 | Formal theories and linguistic descriptions
Antonín Dvorák, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 2004 | On the semantics of perception-based fuzzy logic deductionabstractIn this article, we return to the problem of the derivation of a conclusion on the basis of fuzzy IF–THEN rules. The so-called Mamdani method is well elaborated and widely applied. In this article, we present an alternative to it. The fuzzy IF–THEN rules are here interpreted as genuine linguistic sentences consisting of the so-called evaluating linguistic expressions. Sets of fuzzy IF–THEN rules are called linguistic descriptions. Linguistic expressions derived on the basis of an observation in a concrete context are called perceptions. Together with the linguistic description, they can be used in logical deduction, which we will call a perception-based logical deduction. We focus on semantics only and confine ourselves to one specific model. If the perception-based deduction is repeated and the result interpreted in an appropriate model, we obtain a piecewise continuous and monotonous function. Though the method has already proved to work well in many applications, the nonsmoothness of the output may sometimes lead to problems. We propose in this article a method for how the resulting function can be made smooth so that the output preserves its good properties. The idea consists of postprocessing the output using a special fuzzy approximation method called F-transform. © 2004 Wiley Periodicals, Inc. Int J Int Syst 19: 1007–1031, 2004. Vilém Novák, Irina Perfilieva |
Int. J. Intell. Syst. | 1 |
| 2004 | Fuzzy logic deduction with crisp observations
Antonín Dvorák, Vilém Novák |
Soft Comput. | 2 |
| 2004 | Intensional theory of granular computing
Vilém Novák |
Soft Comput. | 1 |
| 2004 | On fuzzy equality and approximation in fuzzy logic
Vilém Novák |
Soft Comput. | 1 |
| 2004 | Research on advanced soft computing and its applications
Vilém Novák, Irina Perfilieva, Hung T. Nguyen 0002, Vladik Kreinovich |
Soft Comput. | 1 |
| 2003 | Approximating Fuzzy Control Strategies via CRI
Siegfried Gottwald, Vilém Novák, Irina Perfilieva |
IFSA | 2 |
| 2003 | Book Review: "Fuzzy sets: an overview of fundamentals, applications, and personal views" by George Klir
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2003 | Guest Editorial
Vilém Novák, Irina Perfilieva |
Soft Comput. | 1 |
| 2002 | Learning rule base in linguistic expert systems
Radim Belohlávek, Vilém Novák |
Soft Comput. | 2 |
| 2001 | Antonyms and linguistic quantifiers in fuzzy logic
Vilém Novák |
Fuzzy Sets Syst. | 1 |
| 2000 | On the Extraction of Linguistic Knowledge in Databases Using Fuzzy LogicabstractAn algorithm for the extraction of linguistic knowledge from data records is presented. General outline of fuzzy logic deduction is introduced. The behavior of the algorithm is illustrated on “difficult order” example. Antonín Dvorák, Vilém Novák |
FQAS | 2 |
| 1999 | Operations fitting triangular-norm-based biresiduation
Radko Mesiar, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 1998 | Open theories, consistency and related results in fuzzy logic
Vilém Novák |
Int. J. Approx. Reason. | 1 |
| 1998 | Towards formal theory of soft computing
Vilém Novák |
Soft Comput. | 1 |
| 1997 | A Simple Procedure for Pattern Pre-Recognition Based on Fuzzy Logic AnalysisabstractIn this paper a simple procedure for pattern pre-recognition is presented. The task is to recognize whether a given pattern should be interesting for further analysis or not. The description of the procedure presented in this paper is based on formal theory of fuzzy logic in narrow sense so that the procedure – being general – can be used for many other purposes where patterns are to be recognized. Vilém Novák, Alessandro Zorat, Mario Fedrizzi |
Int. J. Uncertain. Fuzziness Knowl. Based Syst. | 1 |
| 1996 | The relation between inference and interpolation in the framework of fuzzy systems
Frank Klawonn, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 1996 | Open problems from the 2nd International Conference on Fuzzy Sets Theory and Its Applications
Radko Mesiar, Vilém Novák |
Fuzzy Sets Syst. | 2 |
| 1995 | Linguistically oriented fuzzy logic control and its design
Vilém Novák |
Int. J. Approx. Reason. | 1 |
| 1988 | Fuzzy Sets and T-Norms in the Light of Fuzzy Logic
Vilém Novák, Witold Pedrycz |
Int. J. Man Mach. Stud. | 1 |