334 matches
-
NP-complete. Astfel de probleme se numesc probleme NP-intermediare. , și sunt exemple de probleme considerate a fi NP-intermediare. Acestea sunt unele dintre puținele probleme NP despre care nu se știe dacă sunt în P sau NP-complete. Problema izomorfismului grafurilor este problema computațională de a determina dacă două grafuri finite sunt . O importantă problemă nerezolvată în teoria complexității este dacă problema izomorfismului grafurilor este în P, NP-completă, sau NP-intermediară. Răspunsul nu este cunoscut, dar se crede că problema cel puțin nu este NP-completă
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
ar putea stimula progrese considerabile în domeniul științelor vieții și biotehnologiei. Dar astfel de modificări pălesc în importanță în raport cu revoluția pe care ar produce-o o metodă eficientă pentru rezolvarea problemelor NP-complete în matematică. În primele sale gânduri pe complexitatea computațională, Gödel a menționat că o metodă mecanică care ar putea rezolva orice problemă ar revoluționa matematica: În mod similar, Stephen Cook spune Matematicieni cercetători își petrec întregile lor cariere încercând să demonstreze teoreme, și unele demonstrații au fost găsite la
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
de dimensiune „rezonabilă”, ar pune în esență capăt acestei lupte. Donald Knuth a declarat că el a ajuns să creadă că P = NP, dar este rezervat cu privire la impactul unei posibile dovezi: O demonstrație că P ≠ NP nu ar avea beneficiile computaționale practice ale unei demonstrații că P = NP, dar ar reprezenta, totuși, un progres foarte important în teoria complexității computaționale și ar oferi îndrumare pentru cercetările viitoare. Aceasta ar permite să se arate în mod formal că multe probleme comune nu
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
creadă că P = NP, dar este rezervat cu privire la impactul unei posibile dovezi: O demonstrație că P ≠ NP nu ar avea beneficiile computaționale practice ale unei demonstrații că P = NP, dar ar reprezenta, totuși, un progres foarte important în teoria complexității computaționale și ar oferi îndrumare pentru cercetările viitoare. Aceasta ar permite să se arate în mod formal că multe probleme comune nu pot fi rezolvate eficient, astfel încât atenția cercetătorilor să se poată axa pe soluții parțiale sau pe soluțiile altor probleme
Clasele de complexitate P și NP () [Corola-website/Science/336745_a_338074]
-
Aprofundate (Calcul Paralel și Distribuit). Între 1995 și 1998, această secție a avut și o filieră în limba franceză, la care au predat profesori francezi de la universitățile Paris Sud-Orsay, USTL Lille și Sorbona. Din 2001 funcționează un Masterat în Lingvistică Computațională. FII oferă studii post-universitare (cu durata de 2 ani), prima promoție absolvind în 2000. Din toamna anului 2002 a început să funcționeze Secția de Învățământ la Distanță. FII asigură cadrul pentru perfecționarea continuă a profesorilor de informatică din învățământul pre-universitar
Facultatea de Informatică Iași () [Corola-website/Science/317053_a_318382]
-
sens, computerizarea și simularea jucând roluri tot mai importante în științe și în matematică, slăbind astfel obiecțiile potrivit cărora matematica nu ar utiliza metode științifice. În 2002, în cartea sa, „A New Kind of Science”, Stephen Wolfram susținea că matematica computațională merită să fie explorată empiric, ca orice domeniu științific cu toate atributele. Opiniile matematicienilor în această privință sunt diferite. Mulți dintre ei cred că a denumi acest domeniu o știință înseamnă a-i reduce importanța laturii sale estetice și a
Matematică () [Corola-website/Science/296537_a_297866]
-
algoritmului RSA. De atunci, criptografia a devenit o unealtă folosită pe scară largă în comunicații, rețele de calculatoare, și în securitatea informatică în general. Nivelul prezent de securitate al multor tehnici criptografice moderne se bazează pe dificultatea unor anumite probleme computaționale, cum ar fi problema factorizării întregilor sau a calculului logaritmilor discreți. În multe cazuri, există demonstrații matematice care arată că unele tehnici criptografice sunt sigure "dacă" o anumită problemă computațională nu poate fi rezolvată eficient. Proiectanții de sisteme și algoritmi
Criptografie () [Corola-website/Science/302977_a_304306]
-
tehnici criptografice moderne se bazează pe dificultatea unor anumite probleme computaționale, cum ar fi problema factorizării întregilor sau a calculului logaritmilor discreți. În multe cazuri, există demonstrații matematice care arată că unele tehnici criptografice sunt sigure "dacă" o anumită problemă computațională nu poate fi rezolvată eficient. Proiectanții de sisteme și algoritmi criptografici, pe lângă cunoașterea istoriei criptografiei, trebuie să ia în considerație în dezvoltarea proiectelor lor și posibilele dezvoltări ulterioare. De exemplu, îmbunătățirile continue în puterea de calcul a calculatoarelor au mărit
Criptografie () [Corola-website/Science/302977_a_304306]
-
cu schelet diazinic 2. Derivați polifuncționali cu azot (heterocicli, podanzi și macrocicli) ca elemente-cheie inteligente pentru utilizări multiple 3. Efectul metalelor grele asupra conformației peptidelor și proteinelor 4. Fracții farinice: relația dintre compoziția lor chimică și caracteristicile endospermului 5. Studii computaționale pe complecși ai metalelor tranziționale 6. Oxizi polimetalici cu potențiale utilizări în protecția mediului 7. Materiale de tip oxidic cu utilizări în tehnologiile moderne Facultatea de Drept 1. Protecția drepturilor și libertăților fundamentale 2. Consacrarea și garantarea proprietății 3. Instituția
EUR-Lex () [Corola-website/Law/244410_a_245739]
-
care nici nu mai vroiam, nici nu mai aveam cum să fim desprinși. Târam prin spațiul cerebral două segmente ale aceleiași memorii, două emisfere bătându-se, confruntându-se, luptând între ele pentru supremația politică și economică a gândurilor. Derapam. Arhitecturile computaționale ale minții se prăbușeau sub arhitectura Casei Radio, fluxurile întrerupte de neuroni corticali și coloanele sparte de marmură coreeană stăpâneau același edificiu, neterminat și șubred. Contemplam lumea printr-un geam umplut cu aer: tăietura în relief a sticlei arăta incizia
[Corola-publishinghouse/Imaginative/1930_a_3255]
-
chirugical civic (din punct de vedere civic și civil) civic (din punct de vedere profesional, moral și civic) civil (din punct de vedere civic și civil) climatic clinic comercial comportamental compozițional compozițional (din punct de vedere compozițional și al condimentării) computațional constituțional contabil creativ creștin culinar cultural declarativ decorativ democratic demografic dimensional dinamic (din punct de vedere tehnologic, cât și dinamic) doctrinar dogmatic dramatic eclezial (din punct de vedere teologic și eclezial) ecologic economic economic (din punct de vedere din punct
[Corola-publishinghouse/Science/85011_a_85797]
-
bazeze pe date relaționale, pentru că acestea surprind diferitele tipuri de legături dintre entitățile sociale; ( c) să facă apel la vizualizarea prin grafuri pentru identificarea patternurilor specifice ale relațiilor în care sunt integrate entitățile sociale; ( d) să dezvolte modele matematice și computaționale care să permită descrierea și explicarea patternurilor specifice ale relațiilor în care sunt integrate entitățile sociale. Primul atribut folosit de Freeman pentru a defini analiza rețelelor sociale face referire explicită la întâietatea relațiilor în raport cu entitățile atomizate. Această idee poate fi
Rețelele sociale: teorie, metodologie şi aplicații by Marian‑Gabriel Hâncean () [Corola-publishinghouse/Science/608_a_1349]
-
ce apare între părțile aflate în mișcare. Această forță este simulată ca o funcție a vitezei relative și este alcătuită din componenta Stribeck, componenta Coulomb și componenta vâscoasă. Eliminarea discontinuității care se înregistrează pentru v = 0, care creează cele mai multe probleme computaționale, a fost rezolvată, în cazul acestui bloc, prin introducerea unei regiuni foarte mici dar finite, în vecinătatea zonei unde v = 0, regiune unde se presupune că forțele de frecare sunt liniar proporționale cu viteza, coeficientul de proporționalitate fiind dat de
Cântărirea în mişcare a vehiculelor by Irina Mardare () [Corola-publishinghouse/Science/558_a_1119]
-
ca parte integrală a efortului comunicativ al individului, iar această, mai departe, are un rol direct în cadrul procesului"122. Este un punct de vedere susținut și de alți cercetători, precum McNeil (1985, 1982) care pune exprimarea nonverbală pe aceeasi "scenă computaționala" cu vorbirea. Pe baza celor afirmate putem spune că, atât limbajul verbal, cât și comportamentul nonverbal pot fi conceptualizate că formând un sistem de semne sau simboluri, care leagă potențial oamenii în procesul de comunicare. Deși nu este discursiv, limbajul
by Livia Durac [Corola-publishinghouse/Science/1054_a_2562]
-
Brussels: Labor, p. 28. 61 http://www. asha. org/about/publications/leaderonline/archives/2003/q4/f031216a. htm. 62 Petre Botezatu, op. cît., p. 46. 63 G. Leech, M. Weisser, 2003, "Pragmatics and dialogue", în R. Mitkov, The Oxford Handbook of Computațional Linguistics, Oxford: Oxford University Press, pp. 136-156. 64 L. Șoitu, 1993, Retorica audio-vizuală, Editura Cronică, Iași, p. 67. 65 L. Wald, op. cît., p. 128. 66 M. Dinu, 2004, op. cît., p. 234. 67 S. Chelcea, op. cît., p. 130
by Livia Durac [Corola-publishinghouse/Science/1054_a_2562]
-
pereților circulari. Din categoria mișcărilor potențiale axial simetrice au fost realizate interfețe de lucru pentru următoarele cazuri reprezentative: - Mișcări potențiale axial simetrice simple; - Mișcări potențiale axial simetrice analizate prin metoda superpoziției; - Mișcări potențiale axial simetrice specifice turbomașinilor. Prezentarea principalelor facilități computaționale, de formatare, de vizualizare precum și a procedurilor interne de depistare a erorilor specifice procesului de introducere a datelor existente la nivelul programului PFSIM a fost făcută pentru două cazuri reprezentative: sistemul sursă-vârtej în vecinătatea unui perete plan din categoria mișcărilor
PFSIM : Simularea numerică a mişcărilor potenţiale by Dănuţ Zahariea () [Corola-publishinghouse/Science/91506_a_93190]
-
Hidraulice și Pneumatice a Universității Tehnice „Gheorghe Asachi” din Iași în domeniul elaborării de software educațional, cât mai ales, abordarea la un nivel calitativ superior a problematicii prin introducerea unor elemente de noutate, privind extinderea ariei tematice și a performanțelor computaționale și de interactivitate. Problemele de câmp potențial reprezintă, din punct de vedere matematic, cazuri particulare ale ecuațiilor cu derivate parțiale de ordinul doi de tip liniar eliptic (ecuații de tip Laplace și Poisson). Pentru cazul particular al ecuației Laplace, soluțiile
PFSIM : Simularea numerică a mişcărilor potenţiale by Dănuţ Zahariea () [Corola-publishinghouse/Science/91506_a_93190]
-
eficienței și calității soluțiilor care să răspundă obiectivelor temei de cercetare propuse sunt: MathCAD (MathSoft Inc.); Maple (Waterloo Maple Inc.) și MATLAB (MathWorks Ltd.). Principalele criterii care au fost considerate în evaluarea limbajelor de programare menționate se referă la: - Aspectul computațional, care vizează posibilitatea de a elabora coduri sursă performante destinate rezolvării problemelor de câmp potențial. În acest sens se menționează avantajul existenței unor biblioteci de funcții predefinite adecvate acestui tip de probleme. - Aspectul interactiv, care vizează posibilitatea de a elabora
PFSIM : Simularea numerică a mişcărilor potenţiale by Dănuţ Zahariea () [Corola-publishinghouse/Science/91506_a_93190]
-
30s în Mathcad, în timp ce în MATLAB sub 10s. În cazul în care interesează manipularea simbolică a expresiilor complexe se recomandă utilizarea limbajului Maple. În ciuda existenței unor facilități complementare la nivelul limbajelor de programare MathCAD și Maple care permit extinderea capacităților computaționale prin definirea unor noi funcții utilizând mediul de dezvoltare C/C++ și incorporarea ulterioară sub formă de biblioteci de tip DLL, este de preferat utilizarea limbajului de programare MATLAB datorită arhitecturii nativ deschise pe care a fost dezvoltată structura sa
PFSIM : Simularea numerică a mişcărilor potenţiale by Dănuţ Zahariea () [Corola-publishinghouse/Science/91506_a_93190]
-
MATLAB GUIDEĂ destinate dezvoltării interfețelor grafice utilizator GUI și în plus de compilator (MATLAB COMPILERĂ care permite transformarea aplicațiilor MATLAB în aplicații executabile C/C++, fiind recomandat în cazul dezvoltării de aplicații executabile independente de mediul de programare MATLAB. Performanțele computaționale deosebite, stabilitatea și modularitatea aplicațiilor, reprezintă argumente suplimentare care au condus, în final, la alegerea limbajului de programare MATLAB ca mediu de dezvoltare pentru realizarea obiectivelor proiectului propus. 1.5. Condiții minimale și suplimentare În urma unor analize și evaluări critice
PFSIM : Simularea numerică a mişcărilor potenţiale by Dănuţ Zahariea () [Corola-publishinghouse/Science/91506_a_93190]
-
echivalentă cu un automat cu stivă modificat prin relaxarea constrângerii de last-in-first-out a stivei acestuia. (Interesant este că această relaxare aparent minoră permite mașinii Turing să execute o largă varietate de calcule, astfel încât ea poate servi ca model pentru capabilitățile computaționale ale tuturor software-urilor moderne.). În 1938 Konrad Zuse a construit, în Germania, calculatorul electromecanic, numit Z1, care utiliza aritmetica binară în loc de cea zecimală. În 1941 Zuse realizează o variantă îmbunătățită a calculatorului său, pe care o numește Z3 și
Arhitectura Calculatoarelor by Cristian Zet () [Corola-publishinghouse/Science/329_a_567]
-
nici nu dispune de altceva. Fascinația pe care o exercită religia derivă și ea - chiar dacă Într-un mod mult mai neașteptat - din aceeași sursă, căci și religia, la fel ca și filozofia, știința, sau chiar literatura, este tot un proces computațional. Gangsterul care dădea cu banul ne-a arătat că viața este un mecanism bazat pe alegeri multiple. La fel și mitul. Și În mit, ca și În viață, o alegere greșită poate fi fatală. S-a dovedit Într-adevăr fatală
[Corola-publishinghouse/Science/1867_a_3192]
-
important: descoperirile din domeniul informaticii care aduc ideea de realitate la un nivel nou apropiat de cel ludic. Care este diferența dintre joc și experiență dacă realitatea este o simulare pe calculator? Ce formă a realității este "realitatea virtuală"? Universul computațional nu este nici subiectiv, nici obiectiv, deci care este statutul său? Acestea sunt deocamdată întrebări a căror analiză trebuie să aștepte dezvoltarea universului virtual la un nivel mult mai riguros. Acesta se află încă la limita universului ludic. Acesta reprezintă
[Corola-publishinghouse/Science/84931_a_85716]
-
amprentate doar la șoarece), de exemplu Igf2r, Cd8I, Tssc4 etc. (Morison și colab., 2005), iar altele doar la om, de exemplu DLX5 (Kimura și colab., 2004). Prin aplicarea metodelor de analiză bioinformatică Luedi și colaboratorii (2007) au dezvoltat o metodă computațională pentru predicția genelor amprentate de-a lungul genomului, putând fi stabilite astfel ținte noi de studiu. Pentru testarea metodei au fost utilizate secvențe ADN (preluate din Ensembl) aparținând la 40 de gene deja validate ca fiind amprentate la om (preluate
Imunogenetică și oncogenetică. Principii de oncogenetică și oncogenomică. Partea II by Lucian Gavrilă, Aurel Ardelean () [Corola-publishinghouse/Science/91988_a_92483]
-
noologice" și "informația complexă specificată". După Fr. Grick și Carl Sagan, șansa apariției vieții și a omului prin jocul hazardului cauzelor naturale este de 1 x 10 la puterea 2.000.000, în caz că imaginăm universul un gigantic computer. Dar resursele computaționale ale universului sunt doar de 10 la puterea 150, ceea ce înseamnă că primul număr probabilistic este unul "noologic", de ordinul divinului, iar nu al naturalului.255 Nici teoria automatelor lui von Newman nu confirmă posibilitățile computaționale ale hazardului în natură
[Corola-publishinghouse/Science/1565_a_2863]