Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Gonzalo E. Imaz
@article{DBLP:journals/fss/Imaz23,
author = {Gonzalo E. Imaz},
title = {A first polynomial non-clausal class in many-valued logic},
journal = {Fuzzy Sets Syst.},
volume = {456},
pages = {1--37},
year = {2023},
url = {https://doi.org/10.1016/j.fss.2022.10.008},
doi = {10.1016/J.FSS.2022.10.008},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/Imaz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/Imaz23,
author = {Gonzalo E. Imaz},
title = {The possibilistic horn non-clausal knowledge bases},
journal = {Int. J. Approx. Reason.},
volume = {152},
pages = {357--389},
year = {2023},
url = {https://doi.org/10.1016/j.ijar.2022.11.002},
doi = {10.1016/J.IJAR.2022.11.002},
timestamp = {Sun, 15 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijar/Imaz23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-13744,
author = {Gonzalo E. Imaz},
title = {The Horn Non-Clausal Class and its Polynomiality},
journal = {CoRR},
volume = {abs/2108.13744},
year = {2021},
url = {https://arxiv.org/abs/2108.13744},
eprinttype = {arXiv},
eprint = {2108.13744},
timestamp = {Fri, 03 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-13744.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-12901,
author = {Gonzalo E. Imaz},
title = {A First Polynomial Non-Clausal Class in Many-Valued Logic},
journal = {CoRR},
volume = {abs/2110.12901},
year = {2021},
url = {https://arxiv.org/abs/2110.12901},
eprinttype = {arXiv},
eprint = {2110.12901},
timestamp = {Thu, 28 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-12901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-07648,
author = {Gonzalo E. Imaz},
title = {The Possibilistic Horn Non-Clausal Knowledge Bases},
journal = {CoRR},
volume = {abs/2111.07648},
year = {2021},
url = {https://arxiv.org/abs/2111.07648},
eprinttype = {arXiv},
eprint = {2111.07648},
timestamp = {Tue, 16 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-07648.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/EnriquezEM14,
author = {Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz and
Aslam Muhammad},
editor = {Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Joaqu{\'{\i}}n Salas Rodr{\'{\i}}guez and
Ching Y. Suen},
title = {Problem Solving Environment Based on Knowledge Based System Principles},
booktitle = {Pattern Recognition - 6th Mexican Conference, {MCPR} 2014, Cancun,
Mexico, June 25-28, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8495},
pages = {81--91},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07491-7\_9},
doi = {10.1007/978-3-319-07491-7\_9},
timestamp = {Sat, 19 Oct 2019 20:34:28 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/EnriquezEM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mcpr2/TanveerMEE12,
author = {Saad Tanveer and
Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz},
editor = {Jes{\'{u}}s Ariel Carrasco{-}Ochoa and
Jos{\'{e}} Francisco Mart{\'{\i}}nez Trinidad and
Jos{\'{e}} Arturo Olvera{-}L{\'{o}}pez and
Kim L. Boyer},
title = {Phonetic Unification of Multiple Accents for Spanish and Arabic Languages},
booktitle = {Pattern Recognition - 4th Mexican Conference, {MCPR} 2012, Huatulco,
Mexico, June 27-30, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7329},
pages = {323--333},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31149-9\_33},
doi = {10.1007/978-3-642-31149-9\_33},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mcpr2/TanveerMEE12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijhis/BakhshiMEE11,
author = {Maliha Saleem Bakhshi and
Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz},
title = {A hybrid system for reliability centered maintenance{\textbackslash}m\{1\}},
journal = {Int. J. Hybrid Intell. Syst.},
volume = {8},
number = {4},
pages = {213--224},
year = {2011},
url = {https://doi.org/10.3233/HIS-2011-0141},
doi = {10.3233/HIS-2011-0141},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijhis/BakhshiMEE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/TanveerJMAMSE11,
author = {Saad Tanveer and
Omer Jamshaid and
Abdul Mannan and
Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Afraz Zahra Syed and
Gonzalo Escalada{-}Imaz},
editor = {Ildar Z. Batyrshin and
Grigori Sidorov},
title = {Diagnosis in Sonogram of Gall Bladder},
booktitle = {Advances in Artificial Intelligence - 10th Mexican International Conference
on Artificial Intelligence, {MICAI} 2011, Puebla, Mexico, November
26 - December 4, 2011, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7094},
pages = {524--536},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25324-9\_45},
doi = {10.1007/978-3-642-25324-9\_45},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/TanveerJMAMSE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsea/TanveerMGA10,
author = {Wasif Tanveer and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz and
Aslam Muhammad},
editor = {Jon G. Hall and
Hermann Kaindl and
Luigi Lavazza and
Georg Buchgeher and
Osamu Takaki},
title = {Sensing WithSense - An Intelligent Interface for Participatory Sensing},
booktitle = {The Fifth International Conference on Software Engineering Advances,
{ICSEA} 2010, 22-27 August 2010, Nice, France},
pages = {400--405},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICSEA.2010.68},
doi = {10.1109/ICSEA.2010.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icsea/TanveerMGA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/SaleemMEE10,
author = {B. Maliha Saleem and
Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz},
editor = {Grigori Sidorov and
Arturo Hern{\'{a}}ndez Aguirre and
Carlos A. Reyes Garc{\'{\i}}a},
title = {A Rule Based System for Reliability Centered Maintenance},
booktitle = {9th Mexican International Conference on Artificial Intelligence, {MICAI}
2010, Pachuca, Mexico, November 8-13, 2010, Special Sessions, Revised
Papers},
pages = {57--62},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/MICAI.2010.14},
doi = {10.1109/MICAI.2010.14},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micai/SaleemMEE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micai/ZulfiqarMEE10,
author = {Ali Zulfiqar and
Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz},
editor = {Grigori Sidorov and
Arturo Hern{\'{a}}ndez Aguirre and
Carlos A. Reyes Garc{\'{\i}}a},
title = {Text-Independent Speaker Identification Using {VQ-HMM} Model Based
Multiple Classifier System},
booktitle = {Advances in Soft Computing - 9th Mexican International Conference
on Artificial Intelligence, {MICAI} 2010, Pachuca, Mexico, November
8-13, 2010, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6438},
pages = {116--125},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16773-7\_10},
doi = {10.1007/978-3-642-16773-7\_10},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/micai/ZulfiqarMEE10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eswa/DecouchantEEMM09,
author = {Dominique Decouchant and
Gonzalo Escalada{-}Imaz and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Sonia Mendoza and
Aslam Muhammad},
title = {Contextual awareness based communication and coauthoring proximity
in the internet},
journal = {Expert Syst. Appl.},
volume = {36},
number = {4},
pages = {8391--8406},
year = {2009},
url = {https://doi.org/10.1016/j.eswa.2008.10.082},
doi = {10.1016/J.ESWA.2008.10.082},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/DecouchantEEMM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/MuhammadEE09,
author = {Aslam Muhammad and
Ana Mar{\'{\i}}a {Mart{\'{\i}}nez Enr{\'{\i}}quez} and
Gonzalo Escalada{-}Imaz},
editor = {Jacques Carette and
Lucas Dixon and
Claudio Sacerdoti Coen and
Stephen M. Watt},
title = {Collaborative Assistant to Handle MathML Expressions},
booktitle = {Intelligent Computer Mathematics, 16th Symposium, Calculemus 2009,
8th International Conference, {MKM} 2009, Held as Part of {CICM} 2009,
Grand Bend, Canada, July 6-12, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5625},
pages = {453--459},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02614-0\_35},
doi = {10.1007/978-3-642-02614-0\_35},
timestamp = {Tue, 03 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mkm/MuhammadEE09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsqaru/AltamiranoE01,
author = {Edgar Altamirano and
Gonzalo Escalada{-}Imaz},
editor = {Salem Benferhat and
Philippe Besnard},
title = {Extending Polynomiality to a Class of Non-clausal Many-Valued Horn-Like
Formulas},
booktitle = {Symbolic and Quantitative Approaches to Reasoning with Uncertainty,
6th European Conference, {ECSQARU} 2001, Toulouse, France, September
19-21, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2143},
pages = {792--804},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-44652-4\_70},
doi = {10.1007/3-540-44652-4\_70},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/ecsqaru/AltamiranoE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Escalada-Imaz00,
author = {Gonzalo Escalada{-}Imaz},
editor = {Stefano A. Cerri and
Danail Dochev},
title = {A Temporal Many-Valued Logic for Real Time Control Systems},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 9th
International Conference, {AIMSA} 2000, Varna, Bulgaria, September
20-23, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1904},
pages = {91--100},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45331-8\_9},
doi = {10.1007/3-540-45331-8\_9},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/Escalada-Imaz00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aimsa/Escalada-ImazT00,
author = {Gonzalo Escalada{-}Imaz and
Rodolfo Torres{-}Vel{\'{a}}zquez},
editor = {Stefano A. Cerri and
Danail Dochev},
title = {Complexity Issues in the Davis and Putnam Scheme},
booktitle = {Artificial Intelligence: Methodology, Systems, and Applications, 9th
International Conference, {AIMSA} 2000, Varna, Bulgaria, September
20-23, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1904},
pages = {261--271},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45331-8\_25},
doi = {10.1007/3-540-45331-8\_25},
timestamp = {Sun, 21 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aimsa/Escalada-ImazT00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/AltamiranoE00,
author = {Edgar Altamirano and
Gonzalo Escalada{-}Imaz},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {Finding Tractable Formulas in {NNF}},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {493--507},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_33},
doi = {10.1007/3-540-44957-4\_33},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/AltamiranoE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismis/AltamiranoE00,
author = {Edgar Altamirano and
Gonzalo Escalada{-}Imaz},
editor = {Zbigniew W. Ras and
Setsuo Ohsuga},
title = {An Efficient Proof Method for Non-clausal Reasoning},
booktitle = {Foundations of Intelligent Systems, 12th International Symposium,
{ISMIS} 2000, Charlotte, NC, USA, October 11-14, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1932},
pages = {534--542},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-39963-1\_56},
doi = {10.1007/3-540-39963-1\_56},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ismis/AltamiranoE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BeckertHE98,
author = {Bernhard Beckert and
Reiner H{\"{a}}hnle and
Gonzalo Escalada{-}Imaz},
title = {Simplification of Many-Valued Logic Formulas Using Anti-Links},
journal = {J. Log. Comput.},
volume = {8},
number = {4},
pages = {569--587},
year = {1998},
url = {https://doi.org/10.1093/logcom/8.4.569},
doi = {10.1093/LOGCOM/8.4.569},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/BeckertHE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/soco/ManyaBE98,
author = {Felip Many{\`{a}} and
Ram{\'{o}}n B{\'{e}}jar and
Gonzalo Escalada{-}Imaz},
title = {The satisfiability problem in regular CNF-formulas},
journal = {Soft Comput.},
volume = {2},
number = {3},
pages = {116--123},
year = {1998},
url = {https://doi.org/10.1007/s005000050042},
doi = {10.1007/S005000050042},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/soco/ManyaBE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aepia/Escalada-ImazT97,
author = {Gonzalo Escalada{-}Imaz and
Rodolfo Torres{-}Vel{\'{a}}zquez},
title = {Algoritmos gen{\'{e}}ticos gen{\'{e}}ricos y basados en
orden},
journal = {Inteligencia Artif.},
volume = {1},
number = {3},
pages = {10--29},
year = {1997},
url = {http://journal.iberamia.org/index.php/ia/article/view/200/article\%20\%281\%29.pdf},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/aepia/Escalada-ImazT97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/VilaE94,
author = {Llu{\'{\i}}s Vila and
Gonzalo Escalada{-}Imaz},
editor = {Mar{\'{\i}}a Alpuente and
Roberto Barbuti and
Isidro Ramos},
title = {Temporal Token Calculus: a Temporal Reasoning Approach for Knowledge-Based},
booktitle = {1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Pe{\~{n}}iscola,
Spain, September 19-22, 1994, Volume 2},
year = {1994},
timestamp = {Wed, 01 Dec 2004 15:33:41 +0100},
biburl = {https://dblp.org/rec/conf/agp/VilaE94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipmu/Escalada-ImazM94,
author = {Gonzalo Escalada{-}Imaz and
Felip Many{\`{a}}},
editor = {Bernadette Bouchon{-}Meunier and
Ronald R. Yager and
Lotfi A. Zadeh},
title = {Efficient Interpretation of Propositional Multiple-valued Logic Programs},
booktitle = {Advances in Intelligent Computing - IPMU'94, 5th International Conference
on Processing and Management of Uncertainty in Knowledge-Based Systems,
Paris, France, July 4-8, 1994, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {945},
pages = {428--439},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/BFb0035976},
doi = {10.1007/BFB0035976},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ipmu/Escalada-ImazM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/Escalada-ImazM94,
author = {Gonzalo Escalada{-}Imaz and
Felip Many{\`{a}}},
title = {The Satisfiability Problem in Multiple-Valued Horn Formulae},
booktitle = {24th {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
1994, Boston, Massachusetts, USA, May 25-27, 1994, Proceedings},
pages = {250--256},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ISMVL.1994.302194},
doi = {10.1109/ISMVL.1994.302194},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ismvl/Escalada-ImazM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/GhallabE91,
author = {Malik Ghallab and
Gonzalo Escalada{-}Imaz},
title = {A Linear Control Algorithm for a Class of Rule-Based Systems},
journal = {J. Log. Program.},
volume = {11},
number = {1{\&}2},
pages = {117--132},
year = {1991},
url = {https://doi.org/10.1016/0743-1066(91)90015-H},
doi = {10.1016/0743-1066(91)90015-H},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/GhallabE91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/Escalada-ImazG88,
author = {Gonzalo Escalada{-}Imaz and
Malik Ghallab},
title = {A Practically Efficient and Almost Linear Unification Algorithm},
journal = {Artif. Intell.},
volume = {36},
number = {2},
pages = {249--263},
year = {1988},
url = {https://doi.org/10.1016/0004-3702(88)90005-7},
doi = {10.1016/0004-3702(88)90005-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/Escalada-ImazG88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 02:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
