Pristupačnost
- Bibliografija (CROSBI)
- Životopis
- Nastava
- Područja istraživanja
- Profesionalni interesi i članstva
- Osobni podaci
Resetting the Initial Conditions for Calculating Epidemic Spread: COVID-19 Outbreak in Italy
Predicting Dependency of Approval Rating Change from Twitter Activity and Sentiment Analysis
What social media activities reveal about election results? The use of Facebook during the 2015 general election campaign in Croatia
Social Data Analytics: Representativeness of Social Datasets and Examples from the Political Domain
Generating Politician Profiles based on Content Analysis of Social Network Datasets
Why does Social Data Mining Matter? Generating Insights about Influence, Trust and Sentiments on the Web
A sentiment analysis of who participates, how and why, at social media sport websites: How differently men and women write about football
The role of social networking technologies in eLearning and eTeaching
AgentTest : A specification language for agent-based system testing
Creating TTCN-3 Test Suite from CPN Specification
Model-based Verification of the SIP Invite Scenario
Abstract Test Suite Specification for ACL Communicating Agents
Internetske jezikolomije
Elektronička pošta privatna ili javna stvar?
Što se krije iza novih tehnologija
Modeliranje transportnih tokova obojenom Petrijevom mrežom
Računala u oblacima
Danas ne idem u ured, radit ću online
e-kupovanje
Napiši mi to na Facebooku
Telekomunikacije à la carte
Models 2010, Oslo
Towards SDL Markup Language
Smrzavanje i virusi
Semantički web i ekonomija znanja
Mapping SDL Specification Fundamentals to Core SDL Ontology
Informacija je moć
Describing Layered Communication Architecture in SDL Markup Language
SDL Ontology for Specifying Systems based on Finite State Machines
Towards SDL Ontology
Programski agenti
Implementation of Epistemic Operators for Model Checking Multi-agent Systems
Verification of dynamic epistemic properties in multi-agent systems
Verifying Epistemic Properties of Multi-agent Systems via Action-based Temporal Logic
Verification of Communication Protocols in a Multi-agent System
Informacijski sustavi za potporu upravljanju odnosima s kupcima
Modelling Epistemic Properties for Specification and Verification of a Multi-agent System
Specification and Verification of Knowledge in a Multi-agent System
Verification of Intelligent Agents with ACTL for Epistemic Reasoning
Formal Infrastructure for Verification of Epistemic Properties of Multi-agent Systems
Negativna energija 21. stoljeća
Formal Modelling of Intelligent Agents used in Parallel Distributed Systems
Modeling of Inter-Agent Communication by Encapsulating the Negotiation Functionalities in ACL Messages
Formal Specification of Negotiation Functionalities Encapsulated in ACL Messages in a Multi-agent System
Verification and validation of multiagent system specified by agent UML
Može li Zapad ikako promijeniti prirodni put Istoka
Nove ideje gledaju sa strahom, skepsom i nevjericom
Formal Infrastructure for Modelling Intelligent Agents with Agent UML and Petri Nets
Formalni model specifikacije pokretnih telekomunikacijskih agenata
Formal infrastructure of multiagent system specified by Agent UML and Petri Nets
Development of formal infrastructure for perception of intelligent agents as problem solvers
Definition of formal infrastructure for perception of intelligent agents as problem solvers
Verifikacija specifikacije procesa programskom simulacijom
Životopis
Marina Bagić Babac je docent na Zavodu za primijenjeno računarstvo. Aktivno provodi znanstvena istraživanja u polju društvenog računarstva, gdje proučava ljudsko ponašanje iz podataka sa društvenih medija, te modelira algoritme primjenjive u raznim domenama strojnog učenja i obrade prirodnog jezika.
Diplomirala je na Zavodu za telekomunikacije Fakulteta elektrotehnike i računarstva s naglaskom na znanstveno istraživački rad. Radila je u STROM Telecomu u Pragu kao C/C++ programerka.
Znanstveni magisterij završila je s temom "Formalni model specifikacije pokretnih telekomunikacijskih agenata", a doktorsku disertaciju s temom "Verification of dynamic epistemic properties in multi-agent systems". Tijekom poslijediplomskog studija usavršavala se na Fakulteti za elektrotehniko, računalništvo in informatiko, Univerza v Mariboru te na Fakulteti za računalništvo in informatiko, Univerza v Ljubljani.
Na Fakultetu političkih znanosti diplomirala je novinarstvo (smjerovi Tisak i Odnosi s javnošću) te stekla zvanje diplomiranog novinara.
Nastava
Sveučilišni preddiplomski
- Projekt iz programske potpore (Predavanja)
- Projekt iz programske potpore (Predavanja)
- Projekt iz programske potpore (Predavanja)
- Projekt iz programske potpore (Predavanja)
- Projekt R (Predavanja)
- Uvod u programiranje (Predavanja)
- Završni rad (Predavanja)
- Završni rad (Predavanja)
- Završni rad (Predavanja)
- Završni rad (Predavanja)
Sveučilišni diplomski
- Obrada prirodnog jezika (Nositelj)
- Operacijska istraživanja (Nositelj)
- Diplomski projekt (Predavanja)
- Diplomski projekt (Predavanja)
- Diplomski projekt (Predavanja)
- Diplomski projekt (Predavanja)
- Diplomski rad (Predavanja)
- Diplomski rad (Predavanja)
Poslijediplomski doktorski
- Društveno umrežavanje i društveno računarstvo (Nositelj)
- Operacijska istraživanja (Nositelj)
Kompetencije
-
Systems, man, and cybernetics
Natural languages Natural language processing Sentiment analysis Emotion recognition Affective computing -
Computational and artificial intelligence
Machine learning Statistical learning Predictive models -
Computers and information processing
Crowdsourcing Social computing Network theory (graphs) Data acquisition User-generated content Data analysis Data collection Data integration Data preprocessing Text processing Crowdsourcing Social computing Data mining Text analysis Text mining -
Mathematics
Machine learning algorithms Statistical analysis
Profesionalni interesi i članstva
- Computational Social Science
- Statistical Network Science
- Natural Language Processing