14 research outputs found
Primitive Automata that are Synchronizing
A deterministic finite (semi)automaton is primitive if its transition monoid
(semigroup) acting on the set of states has no non-trivial congruences. It is
synchronizing if it contains a constant map (transformation). In analogy to
synchronizing groups, we study the possibility of characterizing automata that
are synchronizing if primitive. We prove that the implication holds for several
classes of automata. In particular, we show it for automata whose every letter
induce either a permutation or a semiconstant transformation (an idempotent
with one point of contraction) unless all letters are of the first type. We
propose and discuss two conjectures about possible more general
characterizations.Comment: Note: The weak variant of our conjecture in a stronger form has been
recently solved by Mikhail Volkov arXiv:2306.13317, together with several new
results concerning our proble
The category of MSO transductions
MSO transductions are binary relations between structures which are defined
using monadic second-order logic. MSO transductions form a category, since they
are closed under composition. We show that many notions from language theory,
such as recognizability or tree decompositions, can be defined in an abstract
way that only refers to MSO transductions and their compositions
Visual formats in risk preference elicitation: What catches the eye?
We explore the effect of different presentation formats on elicitation of risk preferences using a popular probability-varying task (Holt and Laury, 2002} and a payoff-varying task (Drichoutis and Lusk, 2016). The presentation formats use horizontal bars that vary either the width or height of the bars (or both at the same time) to potentially help subjects in judging how large or small probabilities and monetary amounts are in a given choice task. These graphical formats are compared to a text only format. We complement our data collection with eye-tracking data that enriches our structural models with additional information regarding how visual attention and engagement vary with the presented information. While we find no statistically significant effects of presentation formats on elicited parameters for risk preferences, we find that eye-tracking information not only is associated with preference parameters, but it also changes the inferences with respect to which decision theory better fits our data
Detecting Overlapping Communities in ISEBEL
Real-world complex networks are evident in the social networks, the internet, and biological networks. The complexities of most real-world networks make them have community structures that can be divided into subgroups based on some statistical features or how strongly the vertices are closely connected. A vertex may be a member of more than one community, resulting in overlapping communities in such a real-world network.
The ISEBEL story network is yet another complex network with varieties of folklore of werewolves, witches, and legends which form communities with overlapping vertices. Many algorithms for detecting overlapping communities in real-world networks exist. In this work, we propose a framework built on Apache spark using the BigClam algorithm that is able to detect overlapping communities in ISEBEL dataset
Course Manual: International Workshop-cum-Training Programme on "Fisheries and Aquaculture"
Marine fisheries contribute to food, nutrition, employment and income generation in India. The
sector supports about four million people for their livelihood and nearly one million fishermen by way of
employment and contributes significantly to the export earnings of the country and balance of trade.
The sector contributes to an economic wealth valued at nearly US$10 billion annually. The marine
fisheries of the country consist of small-scale and artisanal fishers belonging mechanized, motorized
and non-mechanized sectors and a range of other stakeholders, including governmental and nongovernmental
agencies. Though India is not a leading producer in true mariculture we are second in
aquaculture production after China. Coastal aquaculture of shrimp has a major role in aquaculture
production and export in India. Even though there is vast scope, recently only India has taken up
mariculture technologies to the stake holder level. Due to the success achieved mariculture, it has been
identified as a potential source of production enhancement for high valued species like lobster, seabass,
cobia and pompano for which the capture fishery is negligible
Computer Science for Continuous Data:Survey, Vision, Theory, and Practice of a Computer Analysis System
Building on George Boole's work, Logic provides a rigorous foundation for the powerful tools in Computer Science that underlie nowadays ubiquitous processing of discrete data, such as strings or graphs. Concerning continuous data, already Alan Turing had applied "his" machines to formalize and study the processing of real numbers: an aspect of his oeuvre that we transform from theory to practice.The present essay surveys the state of the art and envisions the future of Computer Science for continuous data: natively, beyond brute-force discretization, based on and guided by and extending classical discrete Computer Science, as bridge between Pure and Applied Mathematics