Resultats de la cerca
Es mostren 104 resultats
Convenció sobre Armes Bacteriològiques i Toxíniques
Tractat per a la prohibició de la fabricació, el desenvolupament, el comerç i l’emmagatzematge d’armes biològiques, bacteriològiques i toxíniques.
És el primer tractat multilateral de desarmament que prohibeix la producció i ús d’una categoria sencera d’armes Signat el 1972, entrà en vigor l’any 1975, però la manca d’un règim formal de verificació per a controlar-ne el compliment ha limitat la seva efectivitat En la Tercera Conferència encarregada de l’examen de la Convenció del 1994, hom establí un grup d’experts governamentals per tal d’identificar i examinar possibles mesures de verificació des d’un punt de vista científic i tècnic El 2001 hom intentà de nou, sense èxit, establir un protocol de verificació, en gran part a causa de la…
vistiplau
Verificació i conformitat d’un certificat.
prova
Filosofia
Operació intel·lectiva per a reconèixer d’una manera indubtable i universal la veritat d’una proposició considerada en un principi dubtosa.
La prova pot ésser efectuada per demostració o per verificació
homologar
Reconèixer, considerar vàlid després de la verificació corresponent.
anàlisi economicofinancera
Economia
Estudi sistemàtic de les dades i les informacions d’una empresa, un sector, un organisme, etc, a fi de formular-ne la diagnosi de la situació i de les perspectives.
L’anàlisi fonamental examina els comptes anuals, la posició en el mercat i les previsions en el context econòmic L’estudi dels comptes pressuposa la verificació de llur validesa i llur reclassificació, d’acord amb la finalitat de l’analisi El càlcul d’indicadors dinàmics i llur comparació amb els d’altres entitats similars permet de complementar l’anàlisi interna
Donald Davidson
Filosofia
Filòsof nord-americà.
Fou professor a les universitats de Stanford 1951-67 i de Chicago 1970 En els seus treballs sotmeté a crítica alguns conceptes molt utilitzats en filosofia analítica, com són els de decisió, acció i racionalització També s’interessà en l’establiment de formes lògiques en el discurs indirecte i de criteris de verificació en els llenguatges naturals Exposà el seu pensament en Decision-Making an Experimental Approach 1957 i Essays on Actions and Events 1980, entre d’altres
model
Matemàtiques
Teoria o descripció matemàtica d’un objecte o fenomen real.
L’estudi d’un mateix fenomen real segons diferents criteris permet d’estudiar aquest fenomen mitjançant diferents models matemàtics Creat un o diversos models d’un fenomen, cal recórrer al problema de la verificació o adequació entre el model i la realitat observada Així, per exemple, la teoria de la probabilitat dóna un model dels fenòmens anomenats aleatoris o estocàstics En lògica, un model d’una teoria T és una estructura del llenguatge L T de primer ordre de la mateixa teoria, en la qual estructura tots els axiomes de la teoria tenen valor
Matança de civils a Kosovo
El cap de la Missió de Verificació de l’OSCE a Kosovo, William Walker, confirma la localització prop de Racak dels cossos de 45 albanesos amb l’aspecte d’haver estat executats sumàriament per les forces sèrbies Segons Belgrad, les víctimes eren terroristes de l’UÇK morts en enfrontaments armats L’endemà, Slobodan Milošević exigeix a Walker que abandoni Iugoslàvia en un termini de 48 hores, tot i que finalment renuncia a la seva exigència per les pressions internacionals, concretades en el desplegament de 200 avions de l’OTAN
sistema bàsic d’entrada/sortida
Electrònica i informàtica
Programari que conté el codi necessari per al funcionament del sistema bàsic d’entrades i sortides de l’ordinador, com el teclat, el monitor o el disc, de manera que possibilita el funcionament de l’ordinador des que s’engega fins que es carrega el sistema operatiu des del disc.
Incorpora algunes funcions de detecció i verificació del maquinari durant l’engegada de l’ordinador Permet també que l’usuari configuri el maquinari Està contingut en una memòria no volàtil emplaçada a la placa base i actualment sol ésser de tecnologia flash , la qual cosa permet en cas necessari l’actualització del programa que conté, per a poder, per exemple, donar suport a nous dispositius, corregir errades en la seva programació, optimitzar-ne el funcionament o incorporar noves funcions Algunes targetes disposen de les seves pròpies extensions del BIOS de la placa base