Št. zadetkov: 21
Izvirni znanstveni članek
Oznake:
multi-messenger astrophysics;Gamma-ray bursts;X-ray sources;gravitation wave sources;
Synergies of THESEUS with the large facilities of the 2030s and guest observer opportunities
Leto:
2021
Vir:
Repozitorij Univerze v Novi Gorici (RUNG)
Video in druga učna gradiva
Oznake:
chemistry;technology;engineering;sanitary engineering
Leto:
2008
Vir:
videolectures.net
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
Ni določena
Oznake:
visoko šolstvo;reforme;bolonjski proces;Evropa;
Guide to reform of higher education
Leto:
2006
Vir:
Repozitorij Univerze na Primorskem (RUP)
Izvirni znanstveni članek
Oznake:
fizika osnovnih delcev;fizika onkraj Standardnega modela;kršitev barionskega števila;physics of elementary particles;beyond the Standard Model;baryon number violation;
We explore baryon-number-violating $(|\Delta B| = 2)$ processes beyond the well-known neutron-antineutron $(n -\overline{n})$ oscillations, focusing on the $\Lambda - \overline{\Lambda}$ system. The presence of a strange quark in the $\Lambda$ baryon introduces a new set of six-quark operators rou ...
Leto:
2026
Vir:
Fakulteta za matematiko in fiziko (UL FMF)
Izvirni znanstveni članek
Oznake:
nanotoksikologija;mikroskopija;nanodelci;
Biological reactivity of nanoparticles: mosaics from optical microscopy videos of giant lipid vesicles
Leto:
2011
Vir:
Biotehniška fakulteta (UL BF)
Video in druga učna gradiva
Oznake:
computer science;network analysis;social networks
The growth of Web 2.0 and fundamental theoretical breakthroughs have led to an avalanche of interest in social networks. This paper focuses on the problem of modeling how social networks accomplish tasks through peer production style collaboration. We propose a general interaction model for the unde ...
Leto:
2007
Vir:
videolectures.net
Izvirni znanstveni članek
Oznake:
words over finite alphabet;twins in words;shuffle squares;
A shuffle square is a word which consists of two identical and disjoint, but possibly intertwining subwords. For every natural number n, we construct a ternary word of length n which requires a removal of at least Ω(log²n) of its letters in order to become a shuffle square.
Leto:
2025
Vir:
Repozitorij Univerze na Primorskem (RUP)
Izvirni znanstveni članek
Oznake:
krožno biogospodarstvo;inovacije;ovire;deležniki;politika;circular bioeconomy;bio-based value chains;residue valorisation;innovation pathways;interconnected barriers;stakeholder participation;bioeconomy policy;
The bioeconomy is a key pillar of the European Green Deal, yet its implementation remains constrained by entrenched linear value chains, fragmented logistics systems, and regulatory uncertainty. This paper examines how practitioners across Europe envision circular bioeconomy transitions, drawing on ...
Leto:
2027
Vir:
Biotehniška fakulteta (UL BF)
Izvirni znanstveni članek
Oznake:
jedrska fizika;jedrski odpadki;jedrsko gorivo;jedrski razpad;nuclear physics;nuclear waste;nuclear fuel;nuclear decay;
In the framework of the EURAD-2 partnership, the ICARUS (Innovative ChARacterization techniques for large volUmeS) work package aims at further developing, optimizing and harmonizing innovative techniques for the radiological, physical and chemical characterization of large volume of low/intermediat ...
Leto:
2025
Vir:
Institut Jožef Stefan (IJS)