Papers results

Affiliation name: Saint Clement

Total results: 291
Author with most papers: Dimiter Vakarelov

Analyses of an Agile Methodology Implementation.

Authors:	Sylvia Ilieva , Penko Ivanov , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France
DOI:	http://doi.ieeecomputersociety.org/10.1109/EURMIC.2004.1333387
Year:	2004

How do we collect data for software reliability estimation?

Authors:	Aleksandar Dimov , Senthil Kumar Chandran , Sasikumar Punnekkat
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2010, Sofia, Bulgaria, June 17-18, 2010
DOI:	https://doi.org/10.1145/1839379.1839407
Year:	2010

Architectural framework for dynamic web-applications.

Authors:	Aleksandar Stoev , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2008, Gabrovo, Bulgaria, June 12-13, 2008
DOI:	https://doi.org/10.1145/1500879.1500897
Year:	2008

Space Safari: Challenge for STEM Rangers.

Authors:	Elitsa Peltekova , Eliza Stefanova , Nikolina Nikolova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 20th International Conference on Computer Systems and Technologies, CompSysTech 2019, Ruse, Bulgaria, June 21-22, 2019
DOI:	https://doi.org/10.1145/3345252.3345273
Year:	2019

An integrated approach for RUP, EA, SOA and BPM implementation.

Authors:	Juan Pablo Napoli , Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 12th International Conference on Computer Systems and Technologies, CompSysTech 2011, Vienna, Austria, June 16-17, 2011
DOI:	https://doi.org/10.1145/2023607.2023620
Year:	2011

ABC - alphabetical computer-based handwriting investigation system.

Authors:	Dobrin Nestorov , Stefan Benchev , Stefan Bonchev , Georgi Gluhchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2008, Gabrovo, Bulgaria, June 12-13, 2008
DOI:	https://doi.org/10.1145/1500879.1500916
Year:	2008

Visualization of complex data relationships and maps: using the BLOOM platform to provide business insights.

Authors:	Frank Horsfall , Stoyan Tanev , Boyan Bontchev , Todor Gigilev , Angel Gruev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 12th International Conference on Computer Systems and Technologies, CompSysTech 2011, Vienna, Austria, June 16-17, 2011
DOI:	https://doi.org/10.1145/2023607.2023653
Year:	2011

Geometrical Structures and Modal Logic.

Authors:	Philippe Balbiani , Luis Fariñas del Cerro , Tinko Tinchev , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Practical Reasoning, International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996, Proceedings
DOI:	https://doi.org/10.1007/3-540-61313-7_62
Year:	1996

Structured Component and Connector Communication.

Authors:	Anastasios Papapostolu , Dimitar Birov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 8th Balkan Conference in Informatics, BCI 2017, Skopje, Macedonia, September 20 - 23, 2017
DOI:	https://doi.org/10.1145/3136273.3136291
Year:	2017

Topological Representation of Precontact Algebras.

Authors:	Georgi D. Dimov , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/11734673_1
Year:	2005

Platform for extraction, visualization and analysis of search trends.

Authors:	Abdul Wahid , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings Foundations for Interface Technologies, FIT 2010, Paris, France, 30th August 2010.
DOI:	https://doi.org/10.1145/1943628.1943641
Year:	2010

A Subrecursive Refinement of the Fundamental Theorem of Algebra.

Authors:	Peter Peshev , Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
DOI:	https://doi.org/10.1007/11780342_45
Year:	2006

A Jump Inversion Theorem for the Degree Spectra.

Authors:	Alexandra A. Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
DOI:	https://doi.org/10.1093/logcom/exn024
Year:	2007

Exact Pair Theorem for the

Authors:	Hristo Ganchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Siena, Italy, June 18-23, 2007, Proceedings
DOI:	https://doi.org/10.1007/978-3-540-73001-9_33
Year:	2007

Phase-Field Versus Level Set Method for 2D Dendritic Growth.

Authors:	Vladimir Slavov , Stefka Dimova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-540-70942-8_87
Year:	2006

Finite-Volume Difference Scheme for the Black-Scholes Equation in Stochastic Volatility Models.

Authors:	Tatiana P. Chernogorova , Radoslav L. Valkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-18466-6_45
Year:	2010

Characterization of the Computable Real Numbers by Means of Primitive Recursive Functions.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/3-540-45335-0_17
Year:	2000

Big Data Techniques, Systems, Applications, and Platforms: Case Studies from Academia.

Authors:	Atanas Radenski , Todor V. Gurov , Kalinka Kaloyanova , Nikolay Kirov , Maria Nisheva-Pavlova , Peter Stanchev , Eugenia Stoimenova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, Gdańsk, Poland, September 11-14, 2016.
DOI:	https://doi.org/10.15439/2016F91
Year:	2016

Modeling Uncertainties in the Estimation of Software Reliability .

Authors:	Senthil Kumar Chandran , Aleksandar Dimov , Sasikumar Punnekkat
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fourth International Conference on Secure Software Integration and Reliability Improvement, SSIRI 2010, Singapore, June 9-11, 2010
DOI:	http://doi.ieeecomputersociety.org/10.1109/SSIRI.2010.22
Year:	2010

Validity of Automated Inferences in Mapping of Anatomical Ontologies.

Authors:	Milko Krachunov , Peter Petrov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Foundations of Intelligent Systems - 23rd International Symposium, ISMIS 2017, Warsaw, Poland, June 26-29, 2017, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-60438-1_25
Year:	2017

A Positivity-Preserving Splitting Method for 2D Black-Scholes Equations in Stochastic Volatility Models.

Authors:	Tatiana P. Chernogorova , Radoslav L. Valkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-41515-9_21
Year:	2012

Sparsity Handling and Data Explosion in OLAP Systems.

Authors:	Ina Naydenova , Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	The 5th Mediterranean Conference on Information Systems, MCIS 2010, Tel-Aviv-Yaffo Academic College, Tel Aviv, Israel, September 12-14, 2010
DOI:	Not available
Year:	2010

Application of built-in-testing in component-based embedded systems.

Authors:	Irena Pavlova , Mikael Åkerholm , Johan Fredriksson
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2006 Workshop on Role of Software Architecture for Testing and Analysis, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2006), ROSATEA 2006, Portland, Maine, USA, July 17-20, 2006
DOI:	https://doi.org/10.1145/1147249.1147256
Year:	2006

Opportunities and Challenges for Efficient and Effective STEM Teachers' Competence Development.

Authors:	Nikolina Nikolova , Eliza Stefanova , Pencho Mihnev , Krassen Stefanov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
DOI:	https://doi.org/10.1007/978-3-319-77712-2_131
Year:	2018

XEditMan: an XML Editor for Manuscript Descriptions.

Authors:	Pavel Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	From Author to Reader: Challenges for the Digital Content Chain: Proceedings of the 9th ICCC International Conference on Electronic Publishing held at Katholieke Universiteit Leuven - ELPUB 2005, Leuven-Heverlee, Belgium, June 8-10, 2005. Proceedings
DOI:	Not available
Year:	2005

A Modal Characterization of Indiscernibility and Similarity Relations in Pawlak's Information Systems.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, 10th International Conference, RSFDGrC 2005, Regina, Canada, August 31 - September 3, 2005, Proceedings, Part I
DOI:	https://doi.org/10.1007/11548669_2
Year:	2005

Machine Learning-Driven Noise Separation in High Variation Genomics Sequencing Datasets.

Authors:	Milko Krachunov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-99344-7_16
Year:	2018

Alignment of Heterogeneous Ontologies: A Practical Approach to Testing for Similarities and Discrepancies.

Authors:	Neli P. Zlatareva , Maria Nisheva-Pavlova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the Twenty-First International Florida Artificial Intelligence Research Society Conference, May 15-17, 2008, Coconut Grove, Florida, USA
DOI:	Not available
Year:	2008

Flexible learning and design of instruction.

Authors:	Iliana Nikolova , Betty Collis
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Br. J. Educ. Technol. journal
DOI:	https://doi.org/10.1111/1467-8535.00046
Year:	1998

Markov inequality with the Gegenbauer weight.

Authors:	Dragomir Aleksov , Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2017.10.008
Year:	2018

Sharp bounds for the extreme zeros of classical orthogonal polynomials.

Authors:	Dimitar K. Dimitrov , Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2009.11.006
Year:	2010

Improvement of Students' Achievement via VR Technology.

Authors:	Elitsa Peltekova , Aleksandar Dimov , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-319-75175-7_5
Year:	2017

Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/1521-3870(200210)48:1%2B<91::AID-MALQ91>3.0.CO;2-L
Year:	2002

Some results on bounded truth-table degrees.

Authors:	Angel V. Ditchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/malq.19900360311
Year:	1990

Parameterized Minimax Problem: On Lipschitz-Like Dependence of the Solution with Respect to the Parameter.

Authors:	Marc Quincampoix , Nadia Zlateva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Optim. journal
DOI:	https://doi.org/10.1137/060653718
Year:	2008

Filtration theorem for dynamic algebras with tests and inverse operator.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/3-540-11981-7_23
Year:	1980

New nonexistence results for spherical designs.

Authors:	Peter Boyvalenkov , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Adv. Math. Commun. journal
DOI:	https://doi.org/10.3934/amc.2013.7.279
Year:	2013

A System of Relational Syllogistic Incorporating Full Boolean Reasoning.

Authors:	Nikolay Ivanov , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Journal of Logic, Language and Information journal
DOI:	https://doi.org/10.1007/s10849-012-9165-1
Year:	2012

A duality between Pawlak's knowledge representation systems and BI-consequence systems.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Studia Logica journal
DOI:	https://doi.org/10.1007/BF01053038
Year:	1995

An application of Rieger-Nishimura formulas to the intuitionistic modal logics.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Studia Logica journal
DOI:	https://doi.org/10.1007/BF00370811
Year:	1985

Non-Classical Negation in the Works of Helena Rasiowa and Their Impact on the Theory of Negation.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Studia Logica journal
DOI:	https://doi.org/10.1007/s11225-006-9004-y
Year:	2006

Least enumerations of partial structures.

Authors:	Angel V. Ditchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/exq038
Year:	2012

Relativized Degree Spectra.

Authors:	Alexandra A. Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/exm043
Year:	2007

Region-based theory of discrete spaces: A proximity approach.

Authors:	Ivo Düntsch , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Ann. Math. Artif. Intell. journal
DOI:	https://doi.org/10.1007/s10472-007-9064-3
Year:	2007

A comparison of asymptotic analytical formulae with finite-difference approximations for pricing zero coupon bond.

Authors:	Tatiana Paraskevova Chernogorova , Beáta Stehlíková
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Numer. Algorithms journal
DOI:	https://doi.org/10.1007/s11075-011-9505-2
Year:	2012

Machine Learning Models for Error Detection in Metagenomics and Polyploid Sequencing Data.

Authors:	Milko Krachunov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. journal
DOI:	https://doi.org/10.3390/info10030110
Year:	2019

Design issues of a distance learning course on Business on the Internet.

Authors:	Krassen Stefanov , Svetoslav Stoyanov , Roumen Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Comput. Assist. Learn. journal
DOI:	https://doi.org/10.1046/j.1365-2729.1998.1420083.x
Year:	1998

Quadrature formulas for Fourier coefficients.

Authors:	Borislav Bojanov , Guergana Petrova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Comput. Appl. Math. journal
DOI:	https://doi.org/10.1016/j.cam.2009.02.097
Year:	2009

Some theorems on passing from local to global presence of properties of functions.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Log. Methods Comput. Sci. journal
DOI:	https://doi.org/10.2168/LMCS-12(4:3)2016
Year:	2016

Relational Syllogistics

Authors:	Nikolay Ivanov , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CoRR journal
DOI:	Not available
Year:	2011

Rough Polyadic modal logics.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.1080/11663081.1991.10510769
Year:	1999

Mixed algebras and their logics.

Authors:	Ivo Düntsch , Ewa Orlowska , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.1080/11663081.2018.1442138
Year:	2017

Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	https://doi.org/10.3233/FI-2010-268
Year:	2010

Mereotopologies with Predicates of Actual Existence and Actual Contact.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	https://doi.org/10.3233/FI-2017-1613
Year:	2017

A model logic for similarity relations in pawlak knowledge representation systems.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	Not available
Year:	1991

The ω-Turing degrees.

Authors:	Andrey Sariev , Hristo Ganchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Ann. Pure Appl. Log. journal
DOI:	https://doi.org/10.1016/j.apal.2014.04.017
Year:	2014

e-Analytics for e-Learning.

Authors:	Dafinka Miteva , Krassen Stefanov , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Int. J. Hum. Cap. Inf. Technol. Prof. journal
DOI:	https://doi.org/10.4018/IJHCITP.2017100101
Year:	2017

Best One-Sided L

Authors:	Dimiter Dryanov , Petar Peynov Petrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1006/jath.2001.3652
Year:	2002

On polynomial interpolation of two variables.

Authors:	Borislav Bojanov , Yuan Xu
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/S0021-9045(02)00023-0
Year:	2003

On oscillating polynomials.

Authors:	Borislav Bojanov , Nikola Naidenov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2010.04.009
Year:	2010

Flexible Noisy Text Correction.

Authors:	Andrey Sariev , Vladislav Nenchev , Stefan Gerdjikov , Petar Mitankin , Hristo Ganchev , Stoyan Mihov , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	http://doi.ieeecomputersociety.org/10.1109/DAS.2014.12
Year:	2014

Identifying and Embedding Behavioral Competencies in Information Systems Courses.

Authors:	Vijay Kanabar , Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	25th European Conference on Information Systems, ECIS 2017, Guimarães, Portugal, June 5-10, 2017
DOI:	Not available
Year:	2017

On the experience of riding two horses in programming.

Authors:	Anatoliy O. Buda
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/3-540-11157-3_42
Year:	1979

Methodological aspects of an approach for verification of object-oriented programs.

Authors:	Magdalina Todorova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1109/IS.2012.6335207
Year:	2012

Information Management Technologies for Big Data: A Case of Oracle.

Authors:	Kalinka Kaloyanova , Tsvetomir Hristov , Ina Naydenova , Zlatinka Kovacheva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the Second International Conference on Advanced Wireless Information, Data, and Communication Technologies, AWICT 2017, Paris, France, November 13-14, 2017
DOI:	https://doi.org/10.1145/3231830.3231840
Year:	2017

omega-Degree Spectra.

Authors:	Alexandra A. Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings
DOI:	https://doi.org/10.1007/978-3-540-69407-6_58
Year:	2008

Definability in the Local Theory of the

Authors:	Hristo Ganchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Mathematical Theory and Computational Practice, 5th Conference on Computability in Europe, CiE 2009, Heidelberg, Germany, July 19-24, 2009. Proceedings
DOI:	https://doi.org/10.1007/978-3-642-03073-4_25
Year:	2009

Effective Embeddings for Pairs of Structures.

Authors:	Nikolay Bazhenov , Hristo Ganchev , Stefan Vatev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computing with Foresight and Industry - 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings
DOI:	https://doi.org/10.1007/978-3-030-22996-2_8
Year:	2019

Numerical Investigation of Spiral Structure Solutions of a Nonlinear Elliptic Problem.

Authors:	Milena Dimova , Stefka Dimova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-18466-6_47
Year:	2010

Molecular Dynamic Modeling of Long-Range Effect in Metals Exposed to Nanoclusters.

Authors:	Balt Batgerel , Igor V. Puzynin , Taisia P. Puzynina , Ivan Hristov , Radoslava Hristova , Zafar Tukhliev , Zarif Sharipov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-030-10692-8_35
Year:	2018

Fluxon Dynamics in Stacked Josephson Junctions.

Authors:	Ivan Hristov , Stefka Dimova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-18466-6_51
Year:	2010

Modal Definability in Languages with a Finite Number of Propositional Variables and a New Extension of the Sahlqvist's Class.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Advances in Modal Logic 3, papers from the third conference on "Advances in Modal logic," held in Leipzig, Germany, 4-7 October 2000
DOI:	Not available
Year:	2002

Dynamic Mereotopology II: Axiomatizing some Whiteheadean Type Space-time Logics.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Advances in Modal Logic 9, papers from the ninth conference on "Advances in Modal Logic," held in Copenhagen, Denmark, 22-25 August 2012
DOI:	Not available
Year:	2012

Reliability models in architecture description languages.

Authors:	Aleksandar Dimov , Sylvia Ilieva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2007 International Conference on Computer Systems and Technologies, CompSysTech 2007, Rousse, Bulgaria, June 14-15, 2007
DOI:	https://doi.org/10.1145/1330598.1330619
Year:	2007

Architectural design of a software engine for adaptation control in the ADOPTA e-learning platform.

Authors:	Boyan Bontchev , Dessislava Vassileva , Boryana Chavkova , Vladimir Mitev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2009, Rousse, Bulgaria, June 18-19, 2009
DOI:	https://doi.org/10.1145/1731740.1731767
Year:	2009

Integrated education in e-learning design and development through synchronised assignments and assessments of courses.

Authors:	Pencho Mihnev , Krassen Stefanov , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 17th International Conference on Computer Systems and Technologies, CompSysTech 2016, Palermo, Italy, June 23-24, 2016
DOI:	Not available
Year:	2016

Development of applications with service-oriented architecture for grid.

Authors:	Vladimir Dimitrov 0001
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 9th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2008, Gabrovo, Bulgaria, June 12-13, 2008
DOI:	https://doi.org/10.1145/1500879.1500896
Year:	2008

A Splitting Numerical Method for Primary and Secondary Pollutant Models.

Authors:	Tatiana P. Chernogorova , Ivan Tomov Dimov , Lubin G. Vulkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Large-Scale Scientific Computing - 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
DOI:	https://doi.org/10.1007/978-3-319-26520-9_35
Year:	2015

Finite volume difference scheme for a degenerate parabolic equation in the zero-coupon bond pricing.

Authors:	Tatiana P. Chernogorova , Radoslav L. Valkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Comput. Model. journal
DOI:	https://doi.org/10.1016/j.mcm.2011.06.049
Year:	2011

Uniqueness of the Gaussian interval quadrature formula.

Authors:	Borislav Bojanov , Petar Peynov Petrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Numerische Mathematik journal
DOI:	https://doi.org/10.1007/s00211-002-0433-x
Year:	2003

Gaussian interval quadrature formula.

Authors:	Borislav Bojanov , Petar Peynov Petrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Numerische Mathematik journal
DOI:	https://doi.org/10.1007/PL00005426
Year:	2001

Numerical integration over a disc. A new Gaussian quadrature formula.

Authors:	Borislav Bojanov , Guergana Petrova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Numerische Mathematik journal
DOI:	https://doi.org/10.1007/s002110050358
Year:	1998

Inequalities of Duffin-Schaeffer Type.

Authors:	Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Math. Anal. journal
DOI:	https://doi.org/10.1137/S0036141000373914
Year:	2001

PDL with Data Constants.

Authors:	Solomon Passy , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Process. Lett. journal
DOI:	https://doi.org/10.1016/0020-0190(85)90127-9
Year:	1985

Modal Logics for Knowledge Representation Systems.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Theor. Comput. Sci. journal
DOI:	https://doi.org/10.1007/3-540-51237-3_21
Year:	1991

Distributive contact lattices: Topological representations.

Authors:	Ivo Düntsch , Wendy MacCaull , Dimiter Vakarelov , Michael Winter 0001
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Algebraic Methods Program. journal
DOI:	https://doi.org/10.1016/j.jlap.2007.10.002
Year:	2008

Extending the GLOBDEF framework with support for semantic enhancement of various data formats.

Authors:	Maria Nisheva-Pavlova , Asen Alexandrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Int. J. Metadata Semant. Ontologies journal
DOI:	https://doi.org/10.1504/IJMSO.2020.108337
Year:	2020

Courseware Authoring for Adaptive E-learning.

Authors:	Boyan Bontchev , Dessislava Vassileva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	2009 International Conference on Education Technology and Computer, ICETC 2009, Singapore, 17-20 April 2009
DOI:	http://doi.ieeecomputersociety.org/10.1109/ICETC.2009.59
Year:	2009

A Modal Theory of Arrows. Arrow Logics I.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Logics in AI, European Workshop, JELIA '92, Berlin, Germany, September 7-10, 1992, Proceedings
DOI:	https://doi.org/10.1007/BFb0023418
Year:	1992

Adaptive Assessment based on Learning Styles and Student Knowledge Level.

Authors:	Boyan Bontchev , Dessislava Vassileva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CSEDU 2011 - Proceedings of the 3rd International Conference on Computer Supported Education, Volume 2, Noordwijkerhout, Netherlands, 6-8 May, 2011
DOI:	Not available
Year:	2011

Adaptation Engine Construction based on Formal Rules.

Authors:	Dessislava Vassileva , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CSEDU 2009 - Proceedings of the First International Conference on Computer Supported Education, Lisboa, Portugal, March 23-26, 2009 - Volume 1
DOI:	Not available
Year:	2009

On the Estimation of Software Reliability of Component-Based Dependable Distributed Systems.

Authors:	Aleksandar Dimov , Sasikumar Punnekkat
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Quality of Software Architectures and Software Quality, First International Conference on the Quality of Software Architectures, QoSA 2005 and Second International Workshop on Software Quality, SOQUA 2005, Erfurt, Germany, September 20-22, 2005, Proceedings
DOI:	https://doi.org/10.1007/11558569_13
Year:	2005

Monitoring and Evaluating a Project for Upgrading Bulgarian E-Government Systems: A Case Study.

Authors:	Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	10th Mediterranean Conference on Information Systems, MCIS 2016, Paphos, Cyprus, 4-6 September 2016
DOI:	Not available
Year:	2016

Information Systems Analysis and Design Course with Projects Based on Real Customers Requirements.

Authors:	Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	8th Mediterranean Conference on Information Systems, MCIS 2014, Verona, Italy, September 3-5, 2014. Proceedings
DOI:	Not available
Year:	2014

Case Study: Development of Egovernmnet Information Systems in Bulgaria.

Authors:	Vladimir Dimitrov 0001
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	10th Mediterranean Conference on Information Systems, MCIS 2016, Paphos, Cyprus, 4-6 September 2016
DOI:	Not available
Year:	2016

Creating a Natural Environment for Synergy of Disciplines.

Authors:	Evgenia Sendova , Pavel Boytchev , Eliza Stefanova , Nikolina Nikolova , Eugenia Kovatcheva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Learning in the Synergy of Multiple Disciplines, 4th European Conference on Technology Enhanced Learning, EC-TEL 2009, Nice, France, September 29 - October 2, 2009, Proceedings
DOI:	https://doi.org/10.1007/978-3-642-04636-0_50
Year:	2009

Two Splitting Methods for a Fixed Strike Asian Option.

Authors:	Tatiana P. Chernogorova , Lubin G. Vulkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-41515-9_22
Year:	2012

GLOBDEF: A Framework for Dynamic Pipelines of Semantic Data Enrichment Tools.

Authors:	Maria Nisheva-Pavlova , Asen Alexandrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-030-14401-2_15
Year:	2018

Oracle and Vertica for Frequent Itemset Mining.

Authors:	Hristo Kyurkchiev , Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Data Mining and Big Data, First International Conference, DMBD 2016, Bali, Indonesia, June 25-30, 2016. Proceedings
DOI:	https://doi.org/10.1007/978-3-319-40973-3_8
Year:	2016

Ontology-Based Search and Document Retrieval in a Digital Library with Folk Songs.

Authors:	Pavel Pavlov , Maria Nisheva-Pavlova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Social Shaping of Digital Publishing: Exploring the interplay between Culture and Technology - 16th International Conference on Electronic Publishing, Guimaraes, Portugal, June 14-15, 2013.
DOI:	Not available
Year:	2012

Building a Digital Library with Learning Materials.

Authors:	Maria Nisheva-Pavlova , Pavel Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Rethinking Electronic Publishing: Innovation in Communication Paradigms and Technologies - Proceedings of the 13th International Conference on Electronic Publishing, Milano, Italy, June 10-12, 2009.
DOI:	Not available
Year:	2009

Enumeration Reducibility and Computable Structure Theory.

Authors:	Alexandra A. Soskova , Mariya Ivanova Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computability and Complexity - Essays Dedicated to Rodney G. Downey on the Occasion of His 60th Birthday
DOI:	https://doi.org/10.1007/978-3-319-50062-1_19
Year:	2017

Assessing engagement in an emotionally-adaptive applied game.

Authors:	Boyan Bontchev , Dessislava Vassileva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, November 02 - 04, 2016
DOI:	Not available
Year:	2016

Experience-Based Approach for Adoption of Agile Practices in Software Development Projects.

Authors:	Iva Krasteva , Sylvia Ilieva , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Advanced Information Systems Engineering, 22nd International Conference, CAiSE 2010, Hammamet, Tunisia, June 7-9, 2010. Proceedings
DOI:	https://doi.org/10.1007/978-3-642-13094-6_22
Year:	2010

Modelling a Fuzzy System for Teachers' Training Design.

Authors:	Eliza Stefanova , Svetla Boytcheva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	ECTA and FCTA 2011 - Proceedings of the International Conference on Evolutionary Computation Theory and Applications and the Proceedings of the International Conference on Fuzzy Computation Theory and Applications [parts of the International Joint Conference on Computational Intelligence IJCCI 2011], Paris, France, 24-26 October, 2011
DOI:	Not available
Year:	2011

A Generalization of De Vries Duality Theorem.

Authors:	Georgi D. Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Applied Categorical Structures journal
DOI:	https://doi.org/10.1007/s10485-008-9144-5
Year:	2009

Erratum: On a Hermite interpolation by polynomials of two variables.

Authors:	Borislav Bojanov , Yuan Xu
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Numer. Anal. journal
DOI:	https://doi.org/10.1137/060676027
Year:	2007

On Some Computability Notions for Real Functions.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computability journal
DOI:	https://doi.org/10.3233/COM-13018
Year:	2013

The jump hierarchy in the enumeration degrees.

Authors:	Hristo Aleksndrov Ganchev , Mariya Ivanova Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computability journal
DOI:	https://doi.org/10.3233/COM-170072
Year:	2018

Nelson's Negation on the Base of Weaker Versions of Intuitionistic Negation.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Studia Logica journal
DOI:	https://doi.org/10.1007/s11225-005-8476-5
Year:	2005

Dynamic Modalities.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Studia Logica journal
DOI:	https://doi.org/10.1007/s11225-012-9383-1
Year:	2012

The First Recursion Theorem for Iterative Combinatory Spaces.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/malq.19790250308
Year:	1979

Asymptotically optimal definite quadrature formulae of 4th order.

Authors:	Ana Avdzhieva , Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Comput. Appl. Math. journal
DOI:	https://doi.org/10.1016/j.cam.2016.08.022
Year:	2017

Refinements of Levenshtein Bounds in

Authors:	Peter Boyvalenkov , Danyo Danev , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Probl. Inf. Transm. journal
DOI:	https://doi.org/10.1134/S0032946018040026
Year:	2018

Nonexistence of binary orthogonal arrays via their distance distributions.

Authors:	Peter Boyvalenkov , Hristina Kulina , Tanya Marinova , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Probl. Inf. Transm. journal
DOI:	https://doi.org/10.1134/S003294601504002X
Year:	2015

Affect-based adaptation of an applied video game for educational purposes.

Authors:	Boyan Bontchev , Dessislava Vassileva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Interact. Technol. Smart Educ. journal
DOI:	https://doi.org/10.1108/ITSE-07-2016-0023
Year:	2017

Interpreting true arithmetic in the local structure of the enumeration degrees.

Authors:	Hristo Ganchev , Mariya Ivanova Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Symb. Log. journal
DOI:	https://doi.org/10.2178/jsl.7704070
Year:	2012

Embedding distributive lattices in the Σ

Authors:	Hristo Ganchev , Mariya Ivanova Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/exq042
Year:	2012

Strong jump inversion.

Authors:	Wesley Calvert , Andrey Frolov , Valentina S. Harizanov , Julia F. Knight , Charles F. D. McCoy , Alexandra A. Soskova , Stefan Vatev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/exy025
Year:	2018

Quasi-minimal degrees for degree spectra.

Authors:	Alexandra A. Soskova , Ivan N. Soskov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/ext045
Year:	2013

A Jump Inversion Theorem for the Degree Spectra.

Authors:	Alexandra A. Soskova , Ivan N. Soskov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/exn024
Year:	2009

A Proximity Approach to Some Region-Based Theories of Space.

Authors:	Dimiter Vakarelov , Georgi D. Dimov , Ivo Düntsch , Brandon Bennett
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.3166/jancl.12.527-559
Year:	2002

Dynamic logics of the region-based theory of discrete spaces.

Authors:	Philippe Balbiani , Tinko Tinchev , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.3166/jancl.17.39-61
Year:	2007

A mereotopology based on sequent algebras.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.1080/11663081.2017.1420590
Year:	2017

I-Delaporte process and applications.

Authors:	M. D. Lazarova , Leda D. Minkova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Comput. Simul. journal
DOI:	https://doi.org/10.1016/j.matcom.2015.12.003
Year:	2017

Nonexistence of a few binary orthogonal arrays.

Authors:	Peter Boyvalenkov , Tanya Marinova , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Discret. Appl. Math. journal
DOI:	https://doi.org/10.1016/j.dam.2016.07.023
Year:	2017

A family of constacyclic ternary quasi-perfect codes with covering radius 3.

Authors:	Danyo Danev , Stefan M. Dodunekov , Diana Radkova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Des. Codes Cryptogr. journal
DOI:	https://doi.org/10.1007/s10623-010-9470-0
Year:	2011

The RAGE Software Asset Model and Metadata Model.

Authors:	Atanas Georgiev , Alexander Grigorov , Boyan Bontchev , Pavel Boytchev , Krassen Stefanov , Kiavash Bahreini , Enkhbold Nyamsuren , Wim van der Vegt , Wim Westera , Rui Prada , Paul Hollins , Pablo Moreno-Ger
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Serious Games - Second Joint International Conference, JCSG 2016, Brisbane, QLD, Australia, September 26-27, 2016, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-45841-0_18
Year:	2016

Problem 11074.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Am. Math. Mon. journal
DOI:	Not available
Year:	2004

Nonexistence of (9, 112, 4) and (10, 224, 5) binary orthogonal arrays.

Authors:	Tanya Marinova , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Electron. Notes Discret. Math. journal
DOI:	https://doi.org/10.1016/j.endm.2017.02.026
Year:	2017

Gaussian Interval Quadrature Formulae for Tchebycheff Systems.

Authors:	Borislav Bojanov , Petar Peynov Petrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Numer. Anal. journal
DOI:	https://doi.org/10.1137/040606521
Year:	2005

Interpolation and L

Authors:	Dimiter Dryanov , Petar Peynov Petrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2012.05.009
Year:	2012

Landau-type extremal problem for the triple || f||

Authors:	Nikola Naidenov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/S0021-9045(03)00081-9
Year:	2003

Some subrecursive versions of Grzegorczyk's Uniformity Theorem.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/malq.200310117
Year:	2004

Effective Structures.

Authors:	Alexandra A. Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/malq.19970430207
Year:	1997

A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/malq.19780240803
Year:	1978

Effective Enumerations of Families of Finite Sets of Natural Numbers.

Authors:	Angel V. Ditchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Log. Q. journal
DOI:	https://doi.org/10.1002/malq.19910371904
Year:	1991

Stability and Bifurcation of the Magnetic Flux Bound States in Stacked Josephson Junctions.

Authors:	Ivan Christov , Stefka Dimova , Todor Boyadjiev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-00464-3_23
Year:	2008

Bounds for the Extreme Zeros of Laguerre Polynomials.

Authors:	Geno P. Nikolov , Rumen Uluchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-030-10692-8_27
Year:	2018

Logics of Space with Connectedness Predicates: Complete Axiomatizations.

Authors:	Tinko Tinchev , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Advances in Modal Logic 8, papers from the eighth conference on "Advances in Modal Logic," held in Moscow, Russia, 24-27 August 2010
DOI:	Not available
Year:	2010

Like a (School of) Fish in Water (or ICT-Enhanced Skillsin Action).

Authors:	Evgenia Sendova , Eliza Stefanova , Nikolina Nikolova , Eugenia Kovatcheva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Informatics Education - Supporting Computational Thinking, Third International Conference on Informatics in Secondary Schools - Evolution and Perspectives, ISSEP 2008, Torun, Poland, July 1-4, 2008, Proceedings
DOI:	https://doi.org/10.1007/978-3-540-69924-8_9
Year:	2008

Fuzzy-enabled failure behaviour analysis for dependability assessment of networked systems.

Authors:	Barbara Gallina , Aleksandar Dimov , Sasikumar Punnekkat
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	IEEE International Workshop on Measurement and Networking, M&N 2011, Anacapri, Italy, October 10-11, 2011
DOI:	https://doi.org/10.1109/IWMN.2011.6088486
Year:	2011

Fuzzy indication of reliability in metagenomics NGS data analysis.

Authors:	Milko Krachunov , Dimitar Vassilev , Maria Nisheva-Pavlova , Ognyan Kulev , Valeriya Simeonova , Vladimir Dimitrov 0001
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the International Conference on Computational Science, ICCS 2015, Computational Science at the Gates of Nature, Reykjavík, Iceland, 1-3 June, 2015, 2014
DOI:	https://doi.org/10.1016/j.procs.2015.05.448
Year:	2015

Improving super-resolution image reconstruction by in-plane camera rotation.

Authors:	Stefan Bonchev , Kiril M. Alexiev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	13th Conference on Information Fusion, FUSION 2010, Edinburgh, UK, July 26-29, 2010
DOI:	Not available
Year:	2010

Cumulative approach using Hough transform to segmentation of star chains in multi-exposures wide-field plate images.

Authors:	Dimo Dimov , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 12th International Conference on Computer Systems and Technologies, CompSysTech 2011, Vienna, Austria, June 16-17, 2011
DOI:	https://doi.org/10.1145/2023607.2023710
Year:	2011

Filters in Convolutional Neural Networks as Independent Detectors of Visual Concepts.

Authors:	Anton Hristov , Maria Nisheva , Dimo Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 20th International Conference on Computer Systems and Technologies, CompSysTech 2019, Ruse, Bulgaria, June 21-22, 2019
DOI:	https://doi.org/10.1145/3345252.3345294
Year:	2019

Software availability in the cloud.

Authors:	Tsanko Alexandrov , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computer Systems and Technologies, CompSysTech '13, Ruse, Bulgaria, June 28-29, 2013
DOI:	https://doi.org/10.1145/2516775.2516814
Year:	2013

A note on proximity spaces and connection based mereology.

Authors:	Dimiter Vakarelov , Ivo Düntsch , Brandon Bennett
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	2nd International Conference on Formal Ontology in Information Systems, FOIS 2001, Ogunquit, Maine, USA, October 17-19, 2001, Proceedings.
DOI:	https://doi.org/10.1145/505168.505182
Year:	2001

Transitions from Static to Dynamic State in Three Stacked Josephson Junctions.

Authors:	Ivan Christov , Stefka Dimova , Todor Boyadjiev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-12535-5_91
Year:	2009

Phase-Field Method for 2D Dendritic Growth.

Authors:	Vladimir Slavov , Stefka Dimova , Oleg Iliev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-540-24588-9_46
Year:	2003

Educational framework for verification of object-oriented programs.

Authors:	Magdalina Todorova , Kamen Kanev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	The Joint International Conference on Human-Centered Computer Environments, HCCE '12, Aizu-Wakamatsu, Japan - March 08 - 13, 2012
DOI:	https://doi.org/10.1145/2160749.2160755
Year:	2012

Lattice-Based Paraconsistent Logic.

Authors:	Wendy MacCaull , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/11734673_14
Year:	2005

Design of Learning Analytics Tool: The Experts' Eyes View.

Authors:	Dafinka Miteva , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 12th International Conference on Computer Supported Education, CSEDU 2020, Prague, Czech Republic, May 2-4, 2020, Volume 2.
DOI:	https://doi.org/10.5220/0009395503070314
Year:	2020

Towards Automatic Construction of Adaptable Courseware Storyboards.

Authors:	Boyan Bontchev , Dessislava Vassileva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CSEDU 2010 - Proceedings of the Second International Conference on Computer Supported Education, Valencia, Spain, April 7-10, 2010 - Volume 1
DOI:	Not available
Year:	2010

Abstract Characterization of some Knowledge Representation Systems and the Logic NIL of Nondeterministic Information.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	Not available
Year:	1986

Machine Learning Techniques for Survival Time Prediction in Breast Cancer.

Authors:	Iliyan Mihaylov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Artificial Intelligence: Methodology, Systems, and Applications - 18th International Conference, AIMSA 2018, Varna, Bulgaria, September 12-14, 2018, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-99344-7_17
Year:	2018

Teacher Training in Informatics: Analyzing The Problems.

Authors:	Iliana Nikolova , Roumen Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Informatics and Changes in Learning, Proceedings of the IFIP TC3/WG3.1/WG3.5 Open Conference on Informatics and Changes in Learning, Gmunden, Austria, 7-11 June, 1993
DOI:	Not available
Year:	1993

Software Construction of an Authoring Tool for Adaptive E-learning Platforms.

Authors:	Dessislava Vassileva , Boyan Bontchev , Boryana Chavkova , Vladimir Mitev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	2009 Fourth Balkan Conference in Informatics, BCI 2009, Thessaloniki, Greece, 17-19 September 2009
DOI:	http://doi.ieeecomputersociety.org/10.1109/BCI.2009.43
Year:	2009

Quantifiers in combinatory PDL: completeness, definability, incompleteness.

Authors:	Solomon Passy , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundamentals of Computation Theory, FCT '85, Cottbus, GDR, September 9-13, 1985
DOI:	https://doi.org/10.1007/BFb0028835
Year:	1985

Search Engine in a Class of Academic Digital Libraries.

Authors:	Maria Nisheva-Pavlova , Pavel Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Publishing in the networked world: Transforming the Nature of Communication, 14th International Conference on Electronic Publishing, Helsinki, Finland, June 16-18, 2010.
DOI:	Not available
Year:	2010

Towards Integrations of Big Data Technology Components.

Authors:	Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-030-11395-7_11
Year:	2018

Gaussian extended cubature formulae for polyharmonic functions.

Authors:	Borislav Bojanov , Dimitar K. Dimitrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Comput. journal
DOI:	https://doi.org/10.1090/S0025-5718-00-01206-0
Year:	2001

On the error term of symmetric Gauss-Lobatto quadrature formulae for analytic functions.

Authors:	David Hunter , Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Comput. journal
DOI:	https://doi.org/10.1090/S0025-5718-99-01078-9
Year:	2000

Non-homogeneous Pólya-Aeppli process.

Authors:	Stefanka Chukova , Leda D. Minkova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Commun. Stat. Simul. Comput. journal
DOI:	https://doi.org/10.1080/03610918.2018.1469763
Year:	2019

Pólya-Aeppli of Order

Authors:	Stefanka Chukova , Leda D. Minkova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Commun. Stat. Simul. Comput. journal
DOI:	https://doi.org/10.1080/03610918.2013.784987
Year:	2015

Partially Ball Weakly Inf-Compact Saddle Functions.

Authors:	Lionel Thibault , Nadia Zlateva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Oper. Res. journal
DOI:	https://doi.org/10.1287/moor.1040.0126
Year:	2005

Computability at Logic Colloquium 2009.

Authors:	Alexandra A. Soskova , S. Barry Cooper , Andrea Sorbi
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/exq045
Year:	2012

Modal Logics for Incidence Geometries.

Authors:	Philippe Balbiani , Luis Fariñas del Cerro , Tinko Tinchev , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Comput. journal
DOI:	https://doi.org/10.1093/logcom/7.1.59
Year:	1997

Generalized

Authors:	Anatoliy O. Buda
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Process. Lett. journal
DOI:	https://doi.org/10.1016/0020-0190(79)90090-5
Year:	1979

Risk of Misinforming and Message Customization in Customer Related Management.

Authors:	Dimitar Christozov , Stefanka Chukova , Plamen Mateev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Informing Sci. Int. J. an Emerg. Transdiscipl. journal
DOI:	https://doi.org/10.28945/2293
Year:	2015

On Two Types of Warranties: warranty of Malfunctioning and warranty of Misinforming.

Authors:	Dimitar Christozov , Stefanka Chukova , Plamen Mateev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Asia Pac. J. Oper. Res. journal
DOI:	https://doi.org/10.1142/S0217595909002274
Year:	2009

Short Note: On Van Gelder's Loop Detection Algorithm.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Log. Program. journal
DOI:	https://doi.org/10.1016/0743-1066(92)90051-4
Year:	1992

Experience in Teaching Object-Oriented Programming with C++.

Authors:	Emilia Zivkova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	ACM SIGPLAN Notices journal
DOI:	https://doi.org/10.1145/181734.181743
Year:	1994

On the Largest Critical Value of T

Authors:	Nikola Naidenov , Geno P. Nikolov , Alexei Shadrin
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Math. Anal. journal
DOI:	https://doi.org/10.1137/17M1152413
Year:	2018

Reconstruction of a Polynomial from Its Radon Projections.

Authors:	Borislav Bojanov , Yuan Xu
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Math. Anal. journal
DOI:	https://doi.org/10.1137/040616516
Year:	2005

Ontology-based search and document retrieval in a digital library with folk songs.

Authors:	Maria Nisheva-Pavlova , Pavel Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Serv. Use journal
DOI:	https://doi.org/10.3233/ISU-2012-0645
Year:	2011

Definability in the local structure of the ω-Turing degrees.

Authors:	Hristo Ganchev , Andrey Sariev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Math. Struct. Comput. Sci. journal
DOI:	https://doi.org/10.1017/S0960129519000021
Year:	2019

Contact Algebras and Region-based Theory of Space: A Proximity Approach - I.

Authors:	Georgi D. Dimov , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	Not available
Year:	2006

The jump operator on the omega-enumeration degrees.

Authors:	Hristo Ganchev , Ivan N. Soskov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Ann. Pure Appl. Log. journal
DOI:	https://doi.org/10.1016/j.apal.2009.01.003
Year:	2009

A note on the enumeration degrees of 1-generic sets.

Authors:	Liliana Badillo , Caterina Bianchini , Hristo Ganchev , Thomas F. Kent , Andrea Sorbi
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Arch. Math. Log. journal
DOI:	https://doi.org/10.1007/s00153-015-0471-6
Year:	2016

User Interfaces for a Virtual Learning Environment: Two Study Cases.

Authors:	Krassen Stefanov , Darina Dicheva , Roumen Nikolov , Ivanka Djakova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	EAIT journal
DOI:	https://doi.org/10.1023/A%3A1009657800917
Year:	1998

Surjectivity in Fréchet Spaces.

Authors:	Milen Ivanov , Nadia Zlateva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Optim. Theory Appl. journal
DOI:	https://doi.org/10.1007/s10957-019-01482-2
Year:	2019

Perturbation Method for a Non-convex Integral Functional.

Authors:	Milen Ivanov , Nadia Zlateva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Optim. Theory Appl. journal
DOI:	https://doi.org/10.1007/s10957-012-0196-1
Year:	2013

Extended Bulgarian keyboard layouts

Authors:	Anton Zinoviev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CoRR journal
DOI:	Not available
Year:	2009

Playing styles based on experiential learning theory.

Authors:	Boyan Bontchev , Dessislava Vassileva , Adelina Aleksieva-Petrova , Milen Petrov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Comput. Hum. Behav. journal
DOI:	https://doi.org/10.1016/j.chb.2018.04.009
Year:	2018

Computer algebra system for continued fractions manipulation.

Authors:	V. Tomov , Maria Nisheva , T. Tonev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/3-540-51517-8_88
Year:	1987

MSIS 2006 Implementation Review in Bulgaria.

Authors:	Vladimir Dimitrov 0001
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	The 4th Mediterranean Conference on Information Systems, MCIS 2009, Athens University of Economics and Business, AUEB, Athens, Greece, 25-27 September 2009
DOI:	Not available
Year:	2009

Inquiry-Based Science Education in Secondary School Informatics - Challenges and Rewards.

Authors:	Nikolina Nikolova , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-54338-8_2
Year:	2012

Design of service level agreements for software services.

Authors:	Diana Berberova , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2009, Rousse, Bulgaria, June 18-19, 2009
DOI:	https://doi.org/10.1145/1731740.1731769
Year:	2009

SOREGENE: a software reliability modelling tool.

Authors:	Maya Malakova , Aleksandar Dimov , Dimo Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	2012 Conference on Computer Systems and Technologies, CompSysTech'12, Ruse, Bulgaria, June 22-23, 2012
DOI:	https://doi.org/10.1145/2383276.2383304
Year:	2012

Duplicate code detection algorithm.

Authors:	Todor Cholakov , Dimitar Birov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 16th International Conference on Computer Systems and Technologies, CompSysTech, Dublin, Ireland, June 25 - 26, 2015
DOI:	https://doi.org/10.1145/2812428.2812449
Year:	2015

Fuzzy Reliability Model for Component-Based Software Systems.

Authors:	Aleksandar Dimov , Sasikumar Punnekkat
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	36th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2010, Lille, France, September 1-3, 2010
DOI:	http://doi.ieeecomputersociety.org/10.1109/SEAA.2010.46
Year:	2010

Cannonizing Reducibility Method in the Theory of Program Schemata.

Authors:	Anatoliy O. Buda
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings
DOI:	https://doi.org/10.1007/3-540-07854-1_177
Year:	1976

Definite Quadrature Formulae of Order Three Based on the Compound Midpoint Rule.

Authors:	Ana Avdzhieva , Vesselin Gushev , Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-030-10692-8_25
Year:	2018

Numerical Computation of the Markov Factors for the Systems of Polynomials with the Hermite and Laguerre Weights.

Authors:	Lozko Milev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-540-70942-8_46
Year:	2006

Formulae for Calculation of Normal Probability.

Authors:	Vesselin Gushev , Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-540-70942-8_44
Year:	2006

Hyper Arrow Structures. Arrow Logics~III.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	Not available
Year:	1996

Minimal Pairs and Quasi-minimal Degrees for the Joint Spectra of Structures.

Authors:	Alexandra A. Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	New Computational Paradigms, First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005, Proceedings
DOI:	https://doi.org/10.1007/11494645_56
Year:	2005

Extracting Data from General Practitioners' XML Reports in Bulgarian Healthcare to Comply with ISO/EN 13606.

Authors:	Kalinka Kaloyanova , Evgeniy Krastev , Emanuela Mitreva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 9th Balkan Conference on Informatics, BCI 2019, Sofia, Bulgaria, September 26-28, 2019.
DOI:	https://doi.org/10.1145/3351556.3351578
Year:	2019

Inclusive Education Course Design for Informatics Teachers.

Authors:	Temenuzhka Zafirova-Malcheva , Pavel Boytchev , Eliza Stefanova , Pencho Mihnev , Krassen Stefanov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 9th Balkan Conference on Informatics, BCI 2019, Sofia, Bulgaria, September 26-28, 2019.
DOI:	https://doi.org/10.1145/3351556.3351591
Year:	2019

Digitisation and Access to Archival Collections: A Case Study of the Sofia Municipal Government (1878-1879).

Authors:	Maria Nisheva-Pavlova , Pavel Pavlov , Nikolay Markov , Maya Nedeva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Openness in Digital Publishing: Awareness, Discovery and Access - Proceedings of the 11th International Conference on Electronic Publishing held in Vienna - ELPUB 2007, Vienna, Austria, June 13-15, 2007. Proceedings
DOI:	Not available
Year:	2007

Knowledge-Based Search in Collections of Digitized Manuscripts: First Results.

Authors:	Pavel Pavlov , Maria Nisheva-Pavlova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Digital Spectrum: Integrating Technology and Culture - Proceedings of the 10th International Conference on Electronic Publishing held in Bansko - ELPUB 2006, Bansko, Bulgaria, June 14-16, 2006. Proceedings
DOI:	Not available
Year:	2006

Usage of Design by Contract - From Component-based Engineering to SOA Design.

Authors:	Diana Berberova , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	ICSOFT 2009 - Proceedings of the 4th International Conference on Software and Data Technologies, Volume 1, Sofia, Bulgaria, July 26-29, 2009
DOI:	Not available
Year:	2009

The APOGEE Software Platform for Construction of Rich Maze Video Games for Education.

Authors:	Boyan Bontchev , Dessislava Vassileva , Yavor Dankov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 14th International Conference on Software Technologies, ICSOFT 2019, Prague, Czech Republic, July 26-28, 2019.
DOI:	https://doi.org/10.5220/0007930404910498
Year:	2019

Distance Learning Course on Business on the Internet: Some Implementation Issues.

Authors:	Krassen Stefanov , Boian Lomev , Sergei Varbanov , Roumen Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Teleteaching '98 - Distance Learning, Training and Education, IFIP World Computer Congress 1998
DOI:	Not available
Year:	1998

In the Dinosaur' Steps through IBL Scenario: A Way to Overcome Prejudice for Career in STEM.

Authors:	Eliza Stefanova , Albena Antonova , Dafinka Miteva , Nikolina Nikolova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 11th International Conference on Computer Supported Education, CSEDU 2019, Heraklion, Crete, Greece, May 2-4, 2019, Volume 2.
DOI:	https://doi.org/10.5220/0007731104010408
Year:	2019

STEM Teachers' Competence Development: When Opportunities Jump over Barriers.

Authors:	Nikolina Nikolova , Eliza Stefanova , Krassen Stefanov , Pencho Mihnev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 10th International Conference on Computer Supported Education, CSEDU 2018, Funchal, Madeira, Portugal, March 15-17, 2018, Volume 1.
DOI:	https://doi.org/10.5220/0006767703280335
Year:	2018

CEVS - A Corporative E-voting System Based on EML.

Authors:	Dessislava Vassileva , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computer and Information Sciences - ISCIS 2003, 18th International Symposium, Antalya, Turkey, November 3-5, 2003, Proceedings
DOI:	https://doi.org/10.1007/978-3-540-39737-3_45
Year:	2003

Reference Architecture for Self-adaptive Microservice Systems.

Authors:	Krasimir Baylov , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Intelligent Distributed Computing X - Proceedings of the 10th International Symposium on Intelligent Distributed Computing - IDC 2016, Paris, France, October 10-12 2016
DOI:	https://doi.org/10.1007/978-3-319-66379-1_26
Year:	2017

Actual Existence Predicate in Mereology and Mereotopology (Extended Abstract).

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Rough Sets - International Joint Conference, IJCRS 2017, Olsztyn, Poland, July 3-7, 2017, Proceedings, Part II
DOI:	https://doi.org/10.1007/978-3-319-60840-2_10
Year:	2017

Algorithmic Definability and Completeness in Modal Logic.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Foundations of Information and Knowledge Systems, 6th International Symposium, FoIKS 2010, Sofia, Bulgaria, February 15-19, 2010. Proceedings
DOI:	https://doi.org/10.1007/978-3-642-11829-6_3
Year:	2010

Warranty of Misinforming as an Option in Product Utilization Process.

Authors:	Dimitar Christozov , Stefanka Chukova , Plamen Mateev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Informing Sci. Int. J. an Emerg. Transdiscipl. journal
DOI:	https://doi.org/10.28945/3494
Year:	2016

Digitization Era for Electric Utilities: A Novel Business Model Through an Inter-Disciplinary S/W Platform and Open Research Challenges.

Authors:	Prodromos Makris , Nikolaos Efthymiopoulos , Vassilis Nikolopoulos , Andrew Pomazanskyi , Boris Irmscher , Krassen Stefanov , Katina Pancheva , Emmanouel A. Varvarigos
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	IEEE Access journal
DOI:	https://doi.org/10.1109/ACCESS.2018.2828323
Year:	2018

Turning university professors into competent learners.

Authors:	Krassen Stefanov , Nikolina Nikolova , Miroslava Ilieva , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	iJET journal
DOI:	Not available
Year:	2008

Supporting life-long competence development using the TENCompetence infrastructure: a first experiment.

Authors:	Judith Schoonenboom , Henk Sligte , Ayman Moghnieh , Davinia Hernández Leo , Krassen Stefanov , Christian Glahn , Marcus Specht , Ruud Lemmers
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	iJET journal
DOI:	Not available
Year:	2008

An Essay in Combinatory Dynamic Logic

Authors:	Solomon Passay , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Comput. journal
DOI:	https://doi.org/10.1016/0890-5401(91)90026-X
Year:	1991

Polynomial techniques for investigation of spherical designs.

Authors:	Silvia P. Boumova , Peter Boyvalenkov , Hristina Kulina , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Des. Codes Cryptogr. journal
DOI:	https://doi.org/10.1007/s10623-008-9260-0
Year:	2009

An Impossible Difference Condition: 11074.

Authors:	Dimiter Skordev , Gerry Myerson
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Am. Math. Mon. journal
DOI:	Not available
Year:	2006

Frames and Grids.

Authors:	Georgi D. Dimov , Maria-Cristina Pedicchio , Gino Tironi
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Applied Categorical Structures journal
DOI:	https://doi.org/10.1023/B:APCS.0000018237.01585.94
Year:	2004

The Christoffel function for the Hermite weight is bell-shaped.

Authors:	Geno P. Nikolov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2003.11.001
Year:	2003

Quadrature formula for computed tomography.

Authors:	Borislav Bojanov , Guergana Petrova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2009.08.003
Year:	2010

On a Hermite Interpolation by Polynomials of Two Variables.

Authors:	Borislav Bojanov , Yuan Xu
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	SIAM J. Numer. Anal. journal
DOI:	https://doi.org/10.1137/S0036142901383478
Year:	2002

On the Subrecursive Computability of Several Famous Constants.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. UCS journal
DOI:	https://doi.org/10.3217/jucs-014-06-0861
Year:	2008

sigma-Perfect splines and their application to optimal recovery problems.

Authors:	Borislav Bojanov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Complex. journal
DOI:	https://doi.org/10.1016/0885-064X(87)90010-0
Year:	1987

Fitted finite volume positive difference scheme for a stationary model of air pollution.

Authors:	Tatiana P. Chernogorova , Lubin G. Vulkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Numer. Algorithms journal
DOI:	https://doi.org/10.1007/s11075-014-9940-y
Year:	2015

Application of Machine Learning Models for Survival Prognosis in Breast Cancer Studies.

Authors:	Iliyan Mihaylov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. journal
DOI:	https://doi.org/10.3390/info10030093
Year:	2019

Multiprocessor Automata.

Authors:	Anatoliy O. Buda
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Process. Lett. journal
DOI:	https://doi.org/10.1016/0020-0190(87)90172-4
Year:	1987

Moschovakis Extension of Represented Spaces.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Log. Methods Comput. Sci. journal
DOI:	https://doi.org/10.23638/LMCS-15(1:35)2019
Year:	2019

Approximation systems for functions in topological and in metric spaces.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Log. Methods Comput. Sci. journal
DOI:	https://doi.org/10.2168/LMCS-9(4:15)2013
Year:	2013

Advancing Cloud Computing.

Authors:	Irena Bojanova , Vladimir Dimitrov 0001 , Fulvio Corno
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	IT Prof. journal
DOI:	http://doi.ieeecomputersociety.org/10.1109/MITP.2014.82
Year:	2014

Learning networks for lifelong competence development.

Authors:	Krassen Stefanov , Rob Koper
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Interactive Learning Environments journal
DOI:	https://doi.org/10.1080/10494820701424643
Year:	2007

Refinements of Levenshtein bounds in q-ary Hamming spaces.

Authors:	Peter Boyvalenkov , Danyo Danev , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CoRR journal
DOI:	Not available
Year:	2018

Nonexistence of a few binary orthogonal arrays.

Authors:	Peter Boyvalenkov , Tanya Marinova , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CoRR journal
DOI:	https://doi.org/10.1016/j.dam.2016.07.023
Year:	2016

On Scott Consequence Systems.

Authors:	Georgi D. Dimov , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	https://doi.org/10.3233/FI-1998-33103
Year:	1998

Modal Logics for Local and Global Similarity Relations.

Authors:	Ana Deneva , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	https://doi.org/10.3233/FI-1997-313405
Year:	1997

Contact Algebras and Region-based Theory of Space: Proximity Approach - II.

Authors:	Georgi D. Dimov , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	Not available
Year:	2006

A Duality Between Pawlak's Information Systems and Bi-Consequence Systems with Applications to First-Order and Modal Characterizations of some Informational Relations.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the Second World Conference on the Fundamentals of Artificial Intelligence, WOCFAI 1995, 3-7 July 1995, Paris, France.
DOI:	Not available
Year:	1995

Universal, Ontology-based Description of Devices and Services.

Authors:	Mihail Bratoev , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	WEBIST 2009 - Proceedings of the Fifth International Conference on Web Information Systems and Technologies, Lisbon, Portugal, March 23-26, 2009
DOI:	Not available
Year:	2009

Generalized

Authors:	Geoffrey J. Gordon
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1016/0020-0190(79)90090-5
Year:	2002

Modal Logics for Knowledge Representation Systems.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Logic at Botik '89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings
DOI:	https://doi.org/10.1007/3-540-51237-3_21
Year:	1989

Quality Characteristics for Service Oriented Architectures.

Authors:	Krasimir Baylov , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2015 European Conference on Software Architecture Workshops, Dubrovnik/Cavtat, Croatia, September 7-11, 2015
DOI:	https://doi.org/10.1145/2797433.2797488
Year:	2015

Data Errors And Relevant Dimension Values Detection With A Regular Sparsity Map.

Authors:	Ina Naydenova , Kalinka Kaloyanova , Georgi Georgiev , Pegruhi Melkonyan
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	The 4th Mediterranean Conference on Information Systems, MCIS 2009, Athens University of Economics and Business, AUEB, Athens, Greece, 25-27 September 2009
DOI:	Not available
Year:	2009

On a Relative Computability Notion for Real Functions.

Authors:	Dimiter Skordev , Ivan Georgiev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Models of Computation in Context - 7th Conference on Computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 - July 2, 2011. Proceedings
DOI:	https://doi.org/10.1007/978-3-642-21875-0_29
Year:	2011

Relativized Degree Spectra.

Authors:	Alexandra A. Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Logical Approaches to Computational Barriers, Second Conference on Computability in Europe, CiE 2006, Swansea, UK, June 30-July 5, 2006, Proceedings
DOI:	https://doi.org/10.1093/logcom/exm043
Year:	2006

On the Calculation of the Bernstein-Szegö Factor for Multivariate Polynomials.

Authors:	Nikola Naidenov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-540-70942-8_49
Year:	2006

Smart Services for Managing the Design of Personalized Educational Video Games.

Authors:	Albena Antonova , Yavor Dankov , Boyan Bontchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 9th Balkan Conference on Informatics, BCI 2019, Sofia, Bulgaria, September 26-28, 2019.
DOI:	https://doi.org/10.1145/3351556.3351574
Year:	2019

Some Extensions to the Multidimensional Data Model.

Authors:	Ina Naydenova , Kalinka Kaloyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	2006 IEEE John Vincent Atanasoff International Symposium on Modern Computing (JVA2006), 3-6 October 2006, Sofia, Bulgaria
DOI:	http://doi.ieeecomputersociety.org/10.1109/JVA.2006.45
Year:	2006

Topological Representation of Contact Lattices.

Authors:	Ivo Düntsch , Wendy MacCaull , Dimiter Vakarelov , Michael Winter 0001
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Relations and Kleene Algebra in Computer Science, 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006, Proceedings
DOI:	https://doi.org/10.1007/11828563_9
Year:	2006

The Virtual Classroom - A Pilot Case in Inquiry Based Learning.

Authors:	Pavel Boytchev , Eliza Stefanova , Nikolina Nikolova , Krassen Stefanov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CSEDU 2014 - Proceedings of the 6th International Conference on Computer Supported Education, Volume 2, Barcelona, Spain, 1-3 April, 2014
DOI:	https://doi.org/10.5220/0004944702640269
Year:	2014

Data driven approach to binarization of astronomical images.

Authors:	Dimo Dimov , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2010, Sofia, Bulgaria, June 17-18, 2010
DOI:	https://doi.org/10.1145/1839379.1839465
Year:	2010

A computer system for graphometric handwriting analysis.

Authors:	Dobrin Nestorov , Stefan Benchev , Stefan Bonchev , Ruslan Kostashki , Georgi Gluhchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 2009 International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing, CompSysTech 2009, Rousse, Bulgaria, June 18-19, 2009
DOI:	https://doi.org/10.1145/1731740.1731837
Year:	2009

The Exact (ρ, θ)-Hough Transform: Definition and Performance.

Authors:	Dimo Dimov , Aleksandar Dimov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Proceedings of the 17th International Conference on Computer Systems and Technologies, CompSysTech 2016, Palermo, Italy, June 23-24, 2016
DOI:	Not available
Year:	2016

An Approach for Semantic Data Integration in Cancer Studies.

Authors:	Iliyan Mihaylov , Maria Nisheva-Pavlova , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Computational Science - ICCS 2019 - 19th International Conference, Faro, Portugal, June 12-14, 2019, Proceedings, Part III
DOI:	https://doi.org/10.1007/978-3-030-22744-9_5
Year:	2019

Machine learning models in error and variant detection in high-variation high-throughput sequencing datasets.

Authors:	Milko Krachunov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	International Conference on Computational Science, ICCS 2017, 12-14 June 2017, Zurich, Switzerland
DOI:	https://doi.org/10.1016/j.procs.2017.05.242
Year:	2017

The RAGE Advanced Game Technologies Repository for Supporting Applied Game Development.

Authors:	Atanas Georgiev , Alexander Grigorov , Boyan Bontchev , Pavel Boytchev , Krassen Stefanov , Wim Westera , Rui Prada , Paul Hollins , Pablo Moreno-Ger
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Games and Learning Alliance - 5th International Conference, GALA 2016, Utrecht, The Netherlands, December 5-7, 2016, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-50182-6_21
Year:	2016

A method for proving nonexistence of spherical designs of odd strength and odd cardinality.

Authors:	Silvia P. Boumova , Peter Boyvalenkov , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Probl. Inf. Transm. journal
DOI:	https://doi.org/10.1134/S0032946009020033
Year:	2009

Exact Markov inequalities for the Hermite and Laguerre weights.

Authors:	Lozko Milev , Nikola Naidenov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1016/j.jat.2005.09.018
Year:	2006

Examples of Landau-Kolmogorov Inequality in Integral Norms on a Finite Interval.

Authors:	Borislav Bojanov , Nikola Naidenov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Approx. Theory journal
DOI:	https://doi.org/10.1006/jath.2002.3687
Year:	2002

A Numerical Approach to Price Path Dependent Asian Options.

Authors:	Tatiana P. Chernogorova , Lubin G. Vulkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Large-Scale Scientific Computing - 10th International Conference, LSSC 2015, Sozopol, Bulgaria, June 8-12, 2015. Revised Selected Papers
DOI:	https://doi.org/10.1007/978-3-319-26520-9_6
Year:	2015

A 2nd Order Discretization of Imperfect Contact Problems with Piece-Wise Constant Coefficients on Cell-Centred Grids.

Authors:	Tatiana P. Chernogorova , Oleg Iliev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Large-Scale Scientific Computation for Engineering and Environmental Problems, II (LSSC'99), Sozopol, Bulgaria, June 2-6, 1999
DOI:	Not available
Year:	1999

Service-Oriented Integration of Grid Applications in Heterogeneous Grids.

Authors:	Radoslava D. Goranova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-642-12535-5_58
Year:	2009

Towards a Methodology for Designing Micro-service Architectures Using μσADL.

Authors:	Tasos Papapostolu , Dimitar Birov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Business Modeling and Software Design - 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-94214-8_33
Year:	2018

General Architectural Framework for Business Visual Analytics.

Authors:	Yavor Dankov , Dimitar Birov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Business Modeling and Software Design - 8th International Symposium, BMSD 2018, Vienna, Austria, July 2-4, 2018, Proceedings
DOI:	https://doi.org/10.1007/978-3-319-94214-8_19
Year:	2018

Tools for Intelligent Search in Collections of Digitized Manuscripts.

Authors:	Maria Nisheva-Pavlova , Pavel Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	From Author to Reader: Challenges for the Digital Content Chain: Proceedings of the 9th ICCC International Conference on Electronic Publishing held at Katholieke Universiteit Leuven - ELPUB 2005, Leuven-Heverlee, Belgium, June 8-10, 2005. Proceedings
DOI:	Not available
Year:	2005

Semantic Search in a Digital Library with Bulgarian Folk Songs.

Authors:	Maria Nisheva-Pavlova , Pavel Iliev Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Digital Publishing and Mobile Technologies - 15th International Conference on Electronic Publishing, Istanbul, Turkey, June 22-24, 2011.
DOI:	Not available
Year:	2011

Building a Social Semantic Digital Library.

Authors:	Pavel Pavlov , Maria Nisheva-Pavlova , Dicho Shukerov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	New Avenues for Electronic Publishing in the Age of Infinite Collections and Citizen Science: Scale, Openness and Trust - Proceedings of the 19th International Conference on Electronic Publishing, ELPUB 2015, Valetta, Malta, September 1-3, 2015
DOI:	https://doi.org/10.3233/978-1-61499-562-3-63
Year:	2015

Teacher development in ICT: Vision and implementation.

Authors:	Iliana Nikolova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	Not available
Year:	2000

Large Vocabulary Continuous Speech Recognition for Bulgarian.

Authors:	Petar Mitankin , Stoyan Mihov , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Recent Advances in Natural Language Processing, RANLP 2009, 14-16 September, 2009, Borovets, Bulgaria
DOI:	Not available
Year:	2009

Teacher-Oriented Data Services for Learning Analytics.

Authors:	Dafinka Miteva , Aleksandar Dimov , Eliza Stefanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/978-3-319-75175-7_4
Year:	2017

Structured Documents Represented by Conceptual Graphs - A Simple Formalism for Presenting Structured Documents.

Authors:	Vanyo G. Peychev , Jimmy C. Dubuisson , Vladimir T. Dimitrov , Zhechka A. Toteva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	Not available
Year:	2004

Propositional dynamic logics with counters and stacks.

Authors:	Tinko Tinchev , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/3-540-16066-3_30
Year:	1984

On multi-valued homomorphisms.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:
DOI:	https://doi.org/10.1007/3-540-16066-3_27
Year:	1984

A Modal Logic for Cyclic Repeating

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Comput. journal
DOI:	https://doi.org/10.1016/0890-5401(92)90077-S
Year:	1992

OpenMP parallelization of multiple precision Taylor series method.

Authors:	Stefka Dimova , Ivan Hristov , Radoslava Hristova , Igor V. Puzynin , Taisia P. Puzynina , Zarif Sharipov , N. Shegunov , Zafar Tukhliev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CoRR journal
DOI:	Not available
Year:	2019

A finite volume difference scheme for a model of settling particle dispersion from an elevated source in an open-channel flow.

Authors:	Tatiana Paraskevova Chernogorova , Lubin G. Vulkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Comput. Math. Appl. journal
DOI:	https://doi.org/10.1016/j.camwa.2014.03.012
Year:	2014

Cupping and definability in the local structure of the enumeration degrees.

Authors:	Hristo Ganchev , Mariya Ivanova Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Symb. Log. journal
DOI:	https://doi.org/10.2178/jsl/1327068696
Year:	2012

Initial Segments Of The Σ

Authors:	Hristo Ganchev , Andrea Sorbi
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Symb. Log. journal
DOI:	https://doi.org/10.1017/jsl.2014.84
Year:	2016

A new asymptotic bound of the minimum possible odd cardinality of spherical (2k-1)-designs.

Authors:	Peter Boyvalenkov , Maya Stoyanova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Discret. Math. journal
DOI:	https://doi.org/10.1016/j.disc.2010.04.007
Year:	2010

The RAGE Game Software Components Repository for Supporting Applied Game Development.

Authors:	Krassen Stefanov , Atanas Georgiev , Alexander Grigorov , Boyan Bontchev , Pavel Boytchev , Wim Westera , Rui Prada , Paul Hollins , Pablo Moreno-Ger , Enkhbold Nyamsuren , Kiavash Bahreini
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Int. J. Serious Games journal
DOI:	Not available
Year:	2017

Intuitive semantics for some three-valued logics connected with information, contrariety and subcontrariety.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Studia Logica journal
DOI:	https://doi.org/10.1007/BF00370208
Year:	1989

Application of Machine Learning Models in Error and Variant Detection in High-Variation Genomics Datasets.

Authors:	Milko Krachunov , Maria Nisheva , Dimitar Vassilev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Comput. journal
DOI:	https://doi.org/10.3390/computers6040029
Year:	2017

Inductive modal logics.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	Not available
Year:	1992

Modal Logics for Region-based Theories of Space.

Authors:	Philippe Balbiani , Tinko Tinchev , Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	Not available
Year:	2007

An Abstract Approach to Some Loop Detection Problems.

Authors:	Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Fundam. Inform. journal
DOI:	https://doi.org/10.3233/FI-1997-31207
Year:	1997

Second-order logic on equivalence relations.

Authors:	G. Georgiev , Tinko Tinchev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.3166/jancl.18.229-246
Year:	2008

Many-dimensional arrow logics.

Authors:	Dimiter Vakarelov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	J. Appl. Non Class. Logics journal
DOI:	https://doi.org/10.1080/11663081.1996.10510890
Year:	1996

Design and implementation of a social semantic digital library.

Authors:	Maria Nisheva-Pavlova , Dicho Shukerov , Pavel Pavlov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Inf. Serv. Use journal
DOI:	https://doi.org/10.3233/ISU-150784
Year:	2015

Numerical solution of a parabolic system in air pollution.

Authors:	Tatiana P. Chernogorova , Lubin G. Vulkov
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	CoRR journal
DOI:	Not available
Year:	2016

The high/low hierarchy in the local structure of the omega-enumeration degrees.

Authors:	Hristo Ganchev , Mariya Ivanova Soskova
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Ann. Pure Appl. Log. journal
DOI:	https://doi.org/10.1016/j.apal.2010.10.004
Year:	2012

Conditional computability of real functions with respect to a class of operators.

Authors:	Ivan Georgiev , Dimiter Skordev
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Ann. Pure Appl. Log. journal
DOI:	https://doi.org/10.1016/j.apal.2012.11.004
Year:	2013

Playing style recognition through an adaptive video game.

Authors:	Boyan Bontchev , Olga Georgieva
Affiliation:	Saint Clement, Jersey, Jersey
Published in:	Comput. Hum. Behav. journal
DOI:	https://doi.org/10.1016/j.chb.2017.12.040
Year:	2018