623 matches
-
administrare al instituției de credit, inclusiv claritatea liniilor de raportare; ... e) politica de aprobare a procesului de simulare de criză, inclusiv în cazul modificărilor; ... f) relevanța, acuratețea și integritatea datelor încorporate în procesul de simulare de criză; și ... g) calitatea formalizării procesului de simulare de criză. ��... Secțiunea a 2-a Rolul structurii de conducere în cadrul simulărilor de criză Articolul 192 (1) Structura de conducere a unei instituții de credit are responsabilitatea finală în ceea ce privește cadrul general privind simulările de criză. ... (2) Organele
EUR-Lex () [Corola-website/Law/248059_a_249388]
-
acțiuni ale unor societăți deja listate la BVB la care statul deține încă acțiuni. ● Inițierea proiectelor de acte normative având ca scop consolidarea mediului de afaceri și dezvoltarea activităților din domeniul profesiilor liberale Intensificarea dialogului și creșterea transparenței reglementărilor, prin formalizarea consultărilor publice-private în sfera managementului reglementărilor din domeniul mediului de afaceri și profesiilor liberale Reducerea și simplificarea procedurilor administrative cu impact asupra mediului de afaceri și profesiilor liberale, inclusiv prin înființarea și operaționalizarea unor birouri (ghișee) unice, pentru rezolvarea tuturor
EUR-Lex () [Corola-website/Law/218548_a_219877]
-
același timp, accesul la aceste conținuturi 15. Elaborarea cadrului legal care să asigure accesul liber la fondurile arhivistice. Retrocedarea la cerere către foștii proprietari a registrelor de stare civilă, a fondurilor arhivistice comunitare ale cultelor și ale organizațiilor civile 16. Formalizarea parteneriatelor interministeriale dintre Ministerul Culturii și Patrimoniului Național, Ministerul Educației, Cercetării, Tineretului și Sportului, Ministerul Dezvoltării Regionale și Turismului, Ministerul Economiei, Comerțului și Mediului de Afaceri, în vederea atingerii acestor obiective 17. Dezvoltarea parteneriatului dintre stat și culte în domeniile social
EUR-Lex () [Corola-website/Law/218548_a_219877]
-
cu Ministerul Administrației și Internelor la elaborarea cadrului legal care să asigure accesul liber la fondurile arhivistice; ... v) colaborarea cu Ministerul Administrației și Internelor și cu organele abilitate de lege pentru combaterea activității infracționale în domeniul patrimoniului cultural național; ... x) formalizarea parteneriatelor interministeriale între Ministerul Culturii și Patrimoniului Național, Ministerul Educației, Cercetării, Tineretului și Sportului, Ministerul Dezvoltării Regionale și Turismului, Ministerul Economiei, Comerțului și Mediului de Afaceri, în vederea atingerii acestor obiective. ... y) abrogată. ... ---------- Lit. y) a art. 4 a fost abrogată
EUR-Lex () [Corola-website/Law/220096_a_221425]
-
și Comisie și după îndeplinirea condițiilor specificate la art. 8. Articolul 5 Respectarea legilor și politicii Comunității Măsura se va realiza cu respectarea prevederilor relevante stabilite în acordurile europene și va contribui la punerea în aplicare a politicilor comunitare. În ceea ce privește formalizarea procedurilor și specializarea pentru licitații și contractări, trebuie să se țină seama de prevederile relevante stipulate în titlul IX al Regulamentului financiar al Comisiei Europene din 21 decembrie 1997, aplicabile bugetului general al Comunităților Europene, și în Ghidul practic privind
EUR-Lex () [Corola-website/Law/260497_a_261826]
-
cu Ministerul Administrației și Internelor la elaborarea cadrului legal care să asigure accesul liber la fondurile arhivistice; ... v) colaborarea cu Ministerul Administrației și Internelor și cu organele abilitate de lege pentru combaterea activității infracționale în domeniul patrimoniului cultural național; ... x) formalizarea parteneriatelor interministeriale între Ministerul Culturii și Patrimoniului Național, Ministerul Educației, Cercetării, Tineretului și Sportului, Ministerul Dezvoltării Regionale și Turismului, Ministerul Economiei, Comerțului și Mediului de Afaceri, în vederea atingerii acestor obiective. ... y) abrogată. ... ---------- Lit. y) a art. 4 a fost abrogată
EUR-Lex () [Corola-website/Law/257723_a_259052]
-
un amestec de dispreț și de teamă. Adeseori el își prezintă tezele sociologice fără a face în prealabil ipoteze care să fie verificate prin fapte, care să poată fi validate prin observații statistice. Dantier susține că este cu totul neglijată formalizarea cercetărilor prin definirea variabilelor independente (tipurile de mulțimi, efectivele lor numerice, componentele lor demografice cum ar fi procentele diferitelor sexe și grupe de vârstă, procentele de indivizi din diferite categorii socioprofesionale) și de variabilele dependente Această critică aplică metodele utilizate
Gustave Le Bon () [Corola-website/Science/312365_a_313694]
-
publicat în MONITORUL OFICIAL nr. 467 din 23 iunie 2016. c) Unitatea Centrală de Armonizare pentru Auditul Public Intern supraveghează activitatea grupului și asigură orientarea activității acestuia spre realizarea obiectivelor; ... d) Unitatea Centrală de Armonizare pentru Auditul Public Intern asigură formalizarea rezultatelor activității grupului de lucru interinstituțional, prin înscrierea în lista disciplinelor și obținerea semnăturii participanților la grupul de lucru. ... Capitolul VII Reguli privind recunoașterea competențelor profesionale Articolul 25 (1) Recunoașterea competențelor profesionale cuprinde trei categorii, în funcție de tipul documentelor și dispozițiile
EUR-Lex () [Corola-website/Law/272844_a_274173]
-
propozițiilor unei teorii în reguli de acțiune practică și intelectuală în scopul rezolvării problemelor de logică. Logica de bază (logica tradițională, aristotelică sau generală și logica simbolică modernă, matematică sau simbolică) se caracterizează prin trei metode fundamentale: standardizarea, simbolizarea și formalizarea. Standardizarea logică este transformarea enunțărilor din limba naturală, fără a le altera conținutul, în expresii din care poate fi detașată structura lor logică. Simbolizarea este introducerea de simboluri speciale -constante și variabile-cu ajutorul cărora forma logică a acestor enunțuri
Logică () [Corola-website/Science/297515_a_298844]
-
poate fi detașată structura lor logică. Simbolizarea este introducerea de simboluri speciale -constante și variabile-cu ajutorul cărora forma logică a acestor enunțuri este fixată în formule specifice. Se utilizează numai parțial în logica generală și extins în logica simbolică. Formalizarea este finalizarea teoriei logice într-o formă calculatorie. Se utilizează numai în logica simbolică fiind un criteriu eficace de deosebire între logica generală și logica simbolică. În contemporaneitate logicienii dispun de mai multe clase de metode de cunoaștere logică datorită
Logică () [Corola-website/Science/297515_a_298844]
-
Whitehead în opera ,Principia Mathematica, Formularea logicii predicatelor așa cum este aceasta utilizată astăzi este logica de ordinul I prezentată în lucrarea lui David Hilbert și Wilhelm Ackermann, Principles of Theoretical Logic[1] (1928). Generalitatea analitică a logicii predicatelor a permis formalizarea matematicii și a dus la dezvoltarea teoriei modelelor de către Alfred Tarski; logica predicatelor constituie fundamentul logicii matematice moderne. Marea diferență dintre logica silogistică aristoteliciană și logica predicatelor constă în capacitatea acesteia din urmă de a pătrunde în structura fiecărei propoziții
Logică () [Corola-website/Science/297515_a_298844]
-
predicate, metoda aritmetizării meta-matematicii, teorema incompletitudinii sistemelor formale, teorema imposibilității demonstrării necontradicției sistemelor formale cu mijloacele sistemului însuși, prima definiție a funcției recursive generale. Aceste teoreme au fost inspirate din opera logică a lui Leibniz și au arătat că rolul formalizării matematice introduse de David Hilbert este de nerealizat. Prima teoremă are însemnătate logică și conține importante implicații de ordin filozofic, fiindcă arată imposibilitatea unei formalizări complete a gândirii umane. A stabilit că în orice sistem deductiv, destul de implicat pentru a
Kurt Gödel () [Corola-website/Science/314206_a_315535]
-
teoreme au fost inspirate din opera logică a lui Leibniz și au arătat că rolul formalizării matematice introduse de David Hilbert este de nerealizat. Prima teoremă are însemnătate logică și conține importante implicații de ordin filozofic, fiindcă arată imposibilitatea unei formalizări complete a gândirii umane. A stabilit că în orice sistem deductiv, destul de implicat pentru a include raționamente aritmetice, există teoreme matematice care pot fi nerezilvabile în cadrul sistemului (nu pot fi nici demonstrate, nici infirmate). Teoremele de incompletitudine ale lui Gödel
Kurt Gödel () [Corola-website/Science/314206_a_315535]
-
Actual aceste proprietăți fac obiectul activității "Asociației Internaționale pentru Proprietățile Apei și Aburului" ("The International Association for the Properties of Water and Steam" - IAPWS), care organizează conferințe anuale pentru urmărirea progreselor privind aceste proprietăți și sub egida căreia se redactează formalizări internaționale. Formulele sunt complexe, pentru calculul valorilor fiind necesar un calculator electronic programabil. În decursul timpului: Actual se folosesc formalizările: Valorile se găsesc gata calculate în tabele , însă în practică este mult mai intuitivă folosirea unor diagrame termodinamice. Se folosesc
Abur () [Corola-website/Science/302342_a_303671]
-
Water and Steam" - IAPWS), care organizează conferințe anuale pentru urmărirea progreselor privind aceste proprietăți și sub egida căreia se redactează formalizări internaționale. Formulele sunt complexe, pentru calculul valorilor fiind necesar un calculator electronic programabil. În decursul timpului: Actual se folosesc formalizările: Valorile se găsesc gata calculate în tabele , însă în practică este mult mai intuitivă folosirea unor diagrame termodinamice. Se folosesc diagrama T-s și diagrama i-s (Mollier), care sunt larg folosite în aprecierea randamentului termic al ciclului Clausius-Rankine și
Abur () [Corola-website/Science/302342_a_303671]
-
numai online (nu există manuale tipărite). Instalarea și utilizarea softului MediaWiki nu este intuitivă pentru utilizatorii fără experiență în domeniul computerelor. Sintaxa "de facto" MediaWiki este cea a interpretorului () și nu este definită o sintaxă formală. Deoarece nu există o formalizare, de ex. în (EBNF), există dificultăți inerente la crearea unui editor WYSIWYG sau la portarea sintaxei în alte limbaje. Este în lucru formalizarea gramaticii în (ANother Tool for Language Recognition). În plus, nu există vreo versiune offline a MediaWiki care
MediaWiki () [Corola-website/Science/313436_a_314765]
-
facto" MediaWiki este cea a interpretorului () și nu este definită o sintaxă formală. Deoarece nu există o formalizare, de ex. în (EBNF), există dificultăți inerente la crearea unui editor WYSIWYG sau la portarea sintaxei în alte limbaje. Este în lucru formalizarea gramaticii în (ANother Tool for Language Recognition). În plus, nu există vreo versiune offline a MediaWiki care să permită utilizatorilor să modifice paginile în clientul lor offline, iar apoi aceste pagini să fie trimise automat la server la reconectare, într-
MediaWiki () [Corola-website/Science/313436_a_314765]
-
Alan Mathison Turing, , () (n. 23 iunie 1912, Londra, Regatul Unit - d. 7 iunie 1954, , Cheshire, Regatul Unit) a fost un informatician, matematician, logician, criptanalist, filosof și maratonist britanic. A fost o personalitate deosebit de influentă în dezvoltarea informaticii, aducând o formalizare a conceptelor de „algoritm” și „” cu mașina Turing, care poate fi considerată un model de calculator generic. Turing este considerat a fi părintele informaticii și inteligenței artificiale teoretice. În timpul celui de al Doilea Război Mondial, Turing a lucrat pentru la
Alan Turing () [Corola-website/Science/296617_a_297946]
-
tocmai ortodoxă întrucât ar trebui să acceptăm în același timp și în același fel și urâtul, și frumosul. Adică să cântărim cu aceeași balanță și să folosim aceleași unități de măsură și pentru bine, dar și pentru rău. în lumea formalizării, pentru un matematician, probabil, chestiunea ar fi una posibilă sau poate chiar banală. în planul ontologic, unde omul este variabila cu permanență din primordii (aici infinitul nu își mai găsește locul), totul se complică. Mai ales dacă avem în vedere
Editura Destine Literare by Nicolae Bălașa () [Corola-journal/Journalistic/97_a_199]
-
forma "CIAM Chapter for Relief and Post War Planning" în New York City. Organizația a fost extrem de influentă nu numai în cele trei decenii cât a existat efectiv, cât și în anii care au urmat dezmembrării acesteia. A fost profund dedicată formalizării principiilor mișcarii moderniste, dar și considerării arhitecturii ca un important instrument politic și economic care putea și trebuia să schimbe lumea în bine prin promovarea designului de clădiri, respectiv prin planificare urbană. Cel de-al patrulea congres al CIAM, "CIAM
Congrès International d'Architecture Moderne () [Corola-website/Science/313716_a_315045]
-
efectuarea activității anticrimă într-un mod intuitiv, lipsit de suport științific, în special criminologic, atunci ulterior această problemă a afectat și activitatea de cercetare științifică. Ea a început prin abandonarea pregătirii, cu frecvența la zi, a cadrelor științifice în cadrul doctoratelor, formalizarea cerințelor către susținerea examenelor de doctorat la specialitate, a continuat cu obstrucționarea tezelor de doctorat elaborate în temeiul cercetărilor criminologice teoretice și a ajuns la eliminarea din Regulamentul cu privire la funcționarea consiliilor științifice specializate și conferirea gradelor științifice și titlurilor științifice
Valeriu Bujor () [Corola-website/Science/323403_a_324732]
-
a Drepturilor Omului comisă de autoritățile orașului Wrocław în ziua de 22 iulie 2015, cănd serviciile de urgență au demolat locuința familiei Căldărar, situată pe strada Paprotna. Suntem șocați/e de faptul că dialogul inter-sectorial, dezvoltat deja pentru normalizarea și formalizarea statutului locuințelor familiilor rome, a fost întrerupt. Progresul și munca asidua în această direcție, realizate de organizații non-profit, instituții publice, voluntari și locuitori ai orașului, au fost distruse, iar regulamentele de construcție au fost considerate mai importante decât Drepturile Omului
OPRIŢI DEMOLĂRILE! () [Corola-website/Science/296097_a_297426]
-
neafectată de faptul că părinții s-au separat (așanumita custodie comună). Din considerente practice legate de faptul că părinții nu mai locuiesc și nu se mai gospodăresc împreună și pentru evitarea unor surse de conflict se pune problema reglementării și formalizării modului în care cei doi părinți interacționează între ei, a modului în care se iau deciziile cu privire la copii, a timpului pe care fiecare dintre părinți îl va petrece cu copilul, a contribuțiilor financiare sau în natură pe care fiecare dintre
Custodie () [Corola-website/Science/321766_a_323095]
-
standard de măsurare a cantităților fizice. În fizică și în metrologie, e necesară o definiție clară și univocă asupra aceeași cantități, pentru a garanta utilitatea și reproductibilitatea rezultatelor experimentale, ca bază a metodei științifice. Sistemele de măsură științifice sunt o formalizare a conceptului de greutăți și măsuri, care s-au dezvoltat inițial cu scopuri comerciale, în special pentru a crea o serie de instrumente cu care vânzătorii și cumpărătorii să poată măsura în manieră univocă o cantitate de marfă tranzacționată. Există
Unitate de măsură () [Corola-website/Science/298375_a_299704]
-
direct cu Șerbia Centrală. Acest lucru a facilitat abilitatea să de a se guverna aproape complet independent de instituțiile din Kosovo într-o stare de facto al partiției. Deși procesul de statut al provinciei Kosovo a exclus în mod repetat formalizarea partiției ca soluție permanentă, acesta aflându-se în discuție pentru ieșirea din impas. Kosovo de Nord este alcătuit din regiunea care cuprinde municipiile Leposavić, Zvečan și Zubin Potok și o parte relativ mică din Kosovska Mitrovica. Acesta din urmă include
Kosovo de Nord () [Corola-website/Science/321216_a_322545]