Št. zadetkov: 18
Video in druga učna gradiva
Oznake:
computer science;logic
This tutorial will illustrate how to use the Coq proof assistant to implement effective and provably correct computation for analysis. Coq provides a dependently typed functional programming language that allows users to specify both programs and formal proofs.
We will introduce dependent type theo ...
Leto:
2009
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;network analysis;data mining;social content;social sciences;society;politics
We connect measures of public opinion measured from polls with sentiment measured from text. We analyze several surveys on consumer confidence and political opinion over the 2008 to 2009 period, and find they correlate to sentiment word frequencies in contemporaneous Twitter messages. While our result ...
Leto:
2010
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;multilingual information access
The World Wide Web is at a critical phase in its evolution right now. The user experience is no longer limited to a single offering in a single language. Localisation has offered a web of many languages to users, and this is now becoming a hyper-focused tailoring that makes each web experience diffe ...
Leto:
2011
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;data science
We propose a new, socially-impactful task for natural language processing: from a news corpus, extract names of persons who have been killed by police. We present a newly collected police fatality corpus, which we release publicly, and present a model to solve this problem that uses EM-based distant ...
Leto:
2017
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;data science
We highlight an important frontier in algorithmic fairness: disparity
in the quality of natural language processing algorithms when
applied to language from authors of dierent social groups. For
example, current systems sometimes analyze the language of females
and minorities more poorly than t ...
Leto:
2017
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;information retrieval;multimedia retrieval
Leto:
2008
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;semantic web;annotation;applications;software and tools
Leto:
2014
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
business;leadership
“This is a strange and paradoxical time,” says moderator Peter Senge, in which people live “more and more in each other’s backyard”-- interdependent globally but also fragmented by economics and politics. Senge believes “working across boundaries is the defining challenge” of our era.
Ron O’Connor ...
Leto:
2005
Vir:
videolectures.net
Video in druga učna gradiva
Oznake:
computer science;multilingual information access
Leto:
2011
Vir:
videolectures.net
Izvirni znanstveni članek
Oznake:
elektroporacija;transmembranska napetost;kalcij;temperatura;ionski kanali;teoretični model;electroporation;transmembrane voltage;calcium;temperature;ion channels;theoretical model;
Electroporation causes a temporal increase in cell membrane permeability and leads to prolonged changes in transmembrane voltage (TMV) in both excitable and non-excitable cells. However, the mechanisms of these TMV changes remain to be fully elucidated. To this end, we monitored TMV over 30 min afte ...
Leto:
2025
Vir:
Fakulteta za elektrotehniko (UL FE)