BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Apostolos Syropoulos

Apostolos Syropoulos appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
Logic in Computer Sciencecs.CYFormal Languages and Automata Theoryphysics.ed-ph

Catalog footprint

What is connected

8works
4topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

8 published item(s)

preprint2020arXiv

Dialectica Fuzzy Petri Nets

Brown and Gurr have introduced a model of Petri Nets that is based on de~Paiva's Dialectica categories. This model was refined in an unpublished technical report, where Petri nets with multiplicities, instead of {\em elementary} nets (i.e., nets with multiplicities zero and one only) were considered. In this note we expand this modelling to deal with {\em fuzzy} petri nets. The basic idea is to use as the dualizing object in the Dialectica categories construction, the unit interval that has all the properties of a {\em lineale} structure.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Ideograms for Physics and Chemistry

Ideograms (symbols that represent a word or idea) have great communicative value. They refer to concepts in a simple manner, easing the understanding of related ideas. Moreover, ideograms can simplify the often cumbersome notation used in the fields of Physics and physical Chemistry. Nonetheless only a few specific ideograms for these fields have been defined to date. In this work we propose that the scientific community follows the example of Mathematics -as well as that of oriental languages- and bestows a more important role upon ideograms. To support this thesis we propose ideograms for essential concepts in Physics and Chemistry. They are designed to be intuitive, and their goal is to make equations easier to read and understand. Our symbols are included in a publicly available Latex package (svrsymbols).

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Fuzzy Categories

Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility degree that determines to what extend it is possible to "go" from one object to another one. These categories are called {\em fuzzy categories}. Of course, the basic properties of these categories are similar but not identical to their ordinary counterparts. Thus, it is necessary to introduce notion like fuzzy commutative diagrams, fuzzy initial and fuzzy terminal objects, etc.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Using Scripting Languages to Teach Programming

Nowadays, scripting programming languages like Python, Perl and Ruby are widely used in system programming, scientific computing, etc. Although solving a particular problem in these languages requires less time, less programming effort, and less concepts to be taught to achieve the desired goal, still they are not used as teaching tools. Therefore, the use of scripting languages as a teaching vehicle for programming course is very promising. On the other hand, GUI programming, when performed with such languages, is easy and rewarding, since one sees the result of her work immediately. Thus, we are sure that scripting languages combined with GUI toolkits will be the next big thing in computer education.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

On Generalized Fuzzy Multisets and their Use in Computation

An orthogonal approach to the fuzzification of both multisets and hybrid sets is presented. In particular, we introduce L-multi-fuzzy and L-fuzzy hybrid sets, which are general enough and in spirit with the basic concepts of fuzzy set theory. In addition, we study the properties of these structures. Also, the usefulness of these structures is examined in the framework of mechanical multiset processing. More specifically, we introduce a variant of fuzzy P systems and, since simple fuzzy membrane systems have been introduced elsewhere, we simply extend previously stated results and ideas.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Fuzzy Topological Systems

Dialectica categories are a very versatile categorical model of linear logic. These have been used to model many seemingly different things (e.g., Petri nets and Lambek's calculus). In this note, we expand our previous work on fuzzy petri nets to deal with fuzzy topological systems. One basic idea is to use as the dualizing object in the Dialectica categories construction, the unit real interval [0,1], which has all the properties of a {\em lineale}. The second basic idea is to generalize Vickers's notion of a topological system.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Generalizing Topology via Chu Spaces

By using the representational power of Chu spaces we define the notion of a generalized topological space (or GTS, for short), i.e., a mathematical structure that generalizes the notion of a topological space. We demonstrate that these topological spaces have as special cases known topological spaces. Furthermore, we develop the various topological notions and concepts for GTS. Moreover, since the logic of Chu spaces is linear logic, we give an interpretation of most linear logic connectives as operators that yield topological spaces.

0 citations0 reviewsNo code linkedOpen access