5,899 research outputs found
IvI Education vision
No full textThe Informatics Institute (IvI) strives for a shared commitment to its educational ambitions. Based on the available documentation, we derive the following educational ambitions for the IvI: AMBITION A : Diversity and student quality The IvI programmes welcome students with different backgrounds, interests, ambitions and capacities and promote diversity in developing students who are versatile, independent, critical and excellent computational thinkers. AMBITION B : Research intensive education IvI uses research-intensive education to help develop students to become professionals and/or researchers with inquisitive scientific minds who are able to generate new solutions and identify new challenges. AMBITION C : High quality scientific content IvI recognises that excellent teaching is informed by cutting-edge research. The IvI programmes should provide an overview of their respective fields as well as the most recent developments. AMBITION D : High quality teaching IvI actively supports and encourages high-quality teaching and teachers that are able to not only apply proven but also to develop new didactic concepts and methods
Data and code from: Species interactions drive continuous assembly of freshwater communities in stochastic environments
No full textUnderstanding the factors driving the maintenance of long-term biodiversity in changing environments is essential for improving restoration and sustainability strategies in the face of global environmental change. Biodiversity is shaped by both niche and stochastic processes, however the strength of deterministic processes in unpredictable environmental regimes is highly debated. Since communities continuously change over time and space -- species persist, disappear or (re)appear -- understanding the drivers of species gains and losses from communities should inform us about whether niche or stochastic processes dominate community dynamics. Applying a nonparametric causal discovery approach to a 30-year time series containing annual abundances of benthic invertebrates across 66 locations in New Zealand rivers, we found a strong \hl{negative} causal relationship between species gains and losses directly driven by predation indicating that niche processes dominate community dynamics. Despite the unpredictable nature of these system, environmental noise was only indirectly related to species gains and losses through altering life history trait distribution. Using a stochastic birth-death framework, we demonstrate that the negative relationship between species gains and losses can not emerge without strong niche processes. Our results showed that even in systems that are dominated by unpredictable environmental variability, species interactions drive continuous community assembly
Belewitte dataset
No full textResults of Belewitte (DOI: 10.5281/zenodo.3902239) experiments. Performance data for Breadth-First Search and PageRank on NVidia TitanX, RTX2080Ti, GTX980, and K20 GPUs. Including trained Binary Decision Tree models for predicting the best implementation on an input graph
BioMed wizard: An approach for gathering personal risk factor data
No full textPeople can be at risk of developing some serious diseases without being aware of it. Such diseases either do not present symptoms in early stages or have simple symptoms that are ignored or not properly identified by patients, due to their lack of medical know-how. On the other hand, in order to provide patients with early indications of their risk level on developing such diseases, specially for chronic diseases such as diabetes type 2, it is necessary to collect substantial amount of personal data about risk factors related to the disease. A smart wizard software applying the approach developed in our study, which brings awareness about some socio-economical concerns of patients, can increase patients' engagement in providing their personal data. The case study focuses on the diabetes type 2 and some socio-economical concerns of patients, including privacy invasion, time, and cost. In this research, the willingness of a sample group of more than 100 people is surveyed, in providing their personal data, for three different scenarios and related to nine main risk factors. The results collected in this survey is then applied to develop four user-specific data collection flow models, to be implemented in a smart wizard software
Semi-automated BP integration in virtual organizations
No full textOrganizations frequently form various types of partnerships, of which one form is the virtual organization (VO). In VOs, members share part of their capabilities and capacities to seize bigger market opportunities. For effective collaboration however, also sharing knowledge and details about their business processes (BPs) and services is required. If achieved, VO can act as a large and more capable organization, with a repository/pool of services. But to mimic large organizations, VOs need to both drop less optimized overlapping services from this repository and integrate similar services. Our stepwise semi-automated methodology facilitates creating a most optimized pool of BPs with clean and valid integrated processes/services for the VO. A chain of software tools is also introduced in the methodology next to some partially manual steps. The presented solution is applied and evaluated in a real construction industry
Collaborative networks as a core enabler of industry 4.0
No full textThe notion of Industry 4.0 is having a catalyzing effect for the integration of diverse new technologies towards a new generation of more efficient, agile, and sustainable industrial systems. From our analysis, collaboration issues are at the heart of most challenges of this movement. Therefore, an analysis of collaboration needs to be made at all dimensions of Industry 4.0 vision, complemented with a mapping of these needs to the existing results from the collaborative networks area. In addition to such mapping, some new research challenges for the collaborative networks community, as induced by Industry 4.0, are also identified
BioMed Xplorer: Exploring (bio)medical knowledge using linked data
No full textDeveloping an effective model for predicting risks of a disease requires exploration of a vast body of (bio)medical knowledge. Furthermore, the continuous growth of this body of knowledge poses extra challenges. Numerous research has attempted to address these issues through developing a variety of approaches and support tools. Most of these tools however, do not sufficiently address the needed dynamism, lack intuitiveness in their use, and present a rather scarce amount of information usually obtained from a single source. This research aims to address the aforementioned gaps through the development of a dynamic model for (bio)medical knowledge, represented as a network of interrelated (bio)medical concepts, and integrating disperse sources. To this end, this paper introduces BioMed Xplorer, presenting a model and a tool that enables researchers to explore biomedical knowledge, organized in an information graph, through a user friendly and intuitive interface. Furthermore, BioMed Xplorer provides concept related information from a multitude of sources, while also preserving and presenting their provenance data. For this purpose a RDF knowledge base has been created based on a core ontology which we have introduced. Results are further experimented with and validated by some domain experts and are contrasted against the state of the art
Using Hoare Logic in a Process Algebra Setting
Get PDFThis paper concerns the relation between process algebra and Hoare logic. We investigate the question whether and how a Hoare logic can be used for reasoning about how data change in the course of a process when reasoning equationally about that process. We introduce an extension of ACP (Algebra of Communicating Processes) with features that are relevant to processes in which data are involved, present a Hoare logic for the processes considered in this process algebra, and discuss the use of this Hoare logic as a complement to pure equational reasoning with the equational axioms of the process algebra
On the strongest three-valued paraconsistent logic contained in classical logic and its dual
No full textLP⊃,F is a three-valued paraconsistent propositional logic that is essentially the same as J3. It has the most properties that have been proposed as desirable properties of a reasonable paraconsistent propositional logic. However, it follows easily from already published results that there are exactly 8192 different three-valued paraconsistent propositional logics that have the properties concerned. In this paper, properties concerning the logical equivalence relation of a logic are used to distinguish LP⊃,F from the others. As one of the bonuses of focusing on the logical equivalence relation, it is found that only 32 of the 8192 logics have a logical equivalence relation that satisfies the identity, annihilation, idempotent and commutative laws for conjunction and disjunction. For most properties of LP⊃,F that have been proposed as desirable properties of a reasonable paraconsistent propositional logic, its paracomplete analogue has a comparable property. In this paper, properties concerning the logical equivalence relation of a logic are also used to distinguish the paracomplete analogue of LP⊃,F from the other three-valued paracomplete propositional logics with those comparable properties.</p
UvA@Home Team Description paper 2018
Get PDFThis team description paper describes the approach that will be taken by the UvA@Home team to compete in Social Standard Platform League. The research challenges concern person recognition, object recognition, natural language processing and navigation. Modules implemented so far include people detection, face recognition, speech recognition and natural language processing. The remaining challenges will be solved using the previous research and achievements of the UvA teams in the RoboCup
- …
