2,690 matches
-
a Construcțiilor Banat (DSAPCB), Institutul de Studii și Proiectări Energetice (ISPE). În 1964 Dan Farcaș a început să se ocupe de simularea rețelelor neuronale, beneficiind de colaborarea cu prof. Iurii Nikolaevici Kușeliov de la Moscova. Principalul scop al acestor cercetări erau automatele autoinstruibile. În principiu se căuta modelarea fenomenelor de excitație și inhibiție a neuronilor la apariția, respectiv dispariția stimulilor. În final s-a obținut un model a unei rețele neuronale cu șase straturi, asemănătoare cu cea a creierului. Erika Domokos a
MECIPT () [Corola-website/Science/301553_a_302882]
-
hipercomplexă, cu aplicații la mecanică. A introdus algebre numite de el "Łukasiewicz trivalente și polivalente" (numite astăzi algebre "Łukasiewicz-Moisil") și le-a întrebuințat în logica și în studiul circuitelor de comutație. A elaborat metode noi de analiză și sinteză a automatelor finite și a avut contribuții valoroase în domeniul teoriei algebrice a mecanismelor automate. Moisil a insistat și ajutat mult la realizarea primelor calculatoare românești. A avut contribuții remarcabile la dezvoltarea informaticii și la formarea primelor generații de informaticieni. A primit
Grigore C. Moisil () [Corola-website/Science/298547_a_299876]
-
mult mai îndepărtați, decât ai acestora, ascunși în pădure. Mașina s-a oprit în hotarul dintre Moisei și Borșa, unde casele-s din ce în ce mai rare și dealul coboară până la marginea șoselei. Din camionul acoperit cu prelată au coborât șase călăi, cu automate în mâini, țipând răgușiți la cei dinăuntru. Că oamenii erau sau nu legați la mâini, nu se știe, nu se vedea. îi urmăreau pe măsură ce se dădeau jos. Primii doisprezece au fost mânați de la spate de doi inși spre căsuța în fața
Masacrul de la Moisei () [Corola-website/Science/299761_a_301090]
-
urmăreau pe măsură ce se dădeau jos. Primii doisprezece au fost mânați de la spate de doi inși spre căsuța în fața căreia oprise mașina, ceilalți nouăsprezece s-au încolonat și au început să urce în dreapta șoselei, cu pas încet, sub amenințarea celor patru automate horthyste. Imediat s-a auzit răpăit de mitraliere și încolonații au avut o tresărire, ca un fior de spaimă paralizantă. Horthyștii au început să-i lovească cu automatele peste fețele îndreptate spre locul crimei, urlând să meargă mai repede. în
Masacrul de la Moisei () [Corola-website/Science/299761_a_301090]
-
început să urce în dreapta șoselei, cu pas încet, sub amenințarea celor patru automate horthyste. Imediat s-a auzit răpăit de mitraliere și încolonații au avut o tresărire, ca un fior de spaimă paralizantă. Horthyștii au început să-i lovească cu automatele peste fețele îndreptate spre locul crimei, urlând să meargă mai repede. în fugă veneau acum în ajutor și ceilalți doi care-și îndepliniseră misiunea. I-au băgat într-o altă casă și țipând le-au spus, într-o românească stricată
Masacrul de la Moisei () [Corola-website/Science/299761_a_301090]
-
nu există nici o distincție între o definiție funcție și o definiție metodă. Mai degrabă, distincția se produce în timpul apelării funcției, o funcție poate fi numit că o metodă. Atunci când este apelata că o metodă, variabilă locală standard care este setata automat la instanța obiectului de la stânga lui ".". (Există, de asemenea, posibilitatea de a apel și de a aplica metode care pot setă această în mod explicit, de anumite pachete, cum ar fi jQuery face lucruri neobișnuite cu acest lucru.) În exemplul
JavaScript () [Corola-website/Science/299854_a_301183]
-
de echivalență ~ peste Σ* după cum urmează: "u" ~ "v" se definește ca fiind Limbajul "L" este regulat dacă și numai dacă numărul claselor de echivalență ale lui ~ este finit; dacă este așa, acest număr este egal cu numărul de stări ale automatului finit determinist minimal care acceptă limbajul "L".
Limbaj regulat () [Corola-website/Science/299929_a_301258]
-
Un limbaj independent de context este un limbaj formal acceptat de un automat cu stivă. Limbajele independente de context pot fi generate de gramatici independente de context. Un exemplu tipic de limbaj independent de context este formula 1, limbajul tuturor cuvintelor nevide de lungime pară, care au prima jumătate formată din formula 2-uri, și a
Limbaje independente de context () [Corola-website/Science/299949_a_301278]
-
exemplu tipic de limbaj independent de context este formula 1, limbajul tuturor cuvintelor nevide de lungime pară, care au prima jumătate formată din formula 2-uri, și a doua jumătate formată din formula 3-uri. formula 4 este generat de gramatica formula 5, și este acceptat de automatul cu stivă formula 6 unde formula 7 este definit după cum urmează: formula 8<br> formula 9<br> formula 10<br> formula 11<br> Limbajele independente de context au multe aplicații în limbajele de programare; de exemplu, limbajul tuturor parantezelor corect închise este generat de gramatica formula 12
Limbaje independente de context () [Corola-website/Science/299949_a_301278]
-
commun lyonnais'). Este compusă din patru linii de metrou, două funiculare, trei linii de tramvai, șapte linii de troleibuz și 115 linii de autobuze și autocare. Biletele pot fi utilizate pe orice mijloc de transport urban și se procură de la automate. Un bilet costă 1,50 euro și poate fi folosit o oră de la prima compostare iar un carnet de 10 călătorii costă 12,50 euro. Abonamentele sunt însă cele mai avantajoase. Tot TCL mai deține și circa o sută de
Lyon () [Corola-website/Science/297716_a_299045]
-
Time Machine avertizează înainte de a șterge backup vechi. Oferă capacitatea de a restaura fișiere și foldere individuale și se poate utiliza pentru a restaura computerul după un accident grav sau eșec hard disk. Time Machine poate face copii de rezervă automate ale fișierelor de Mac la un hard disk separat intern sau extern sau la un volum de rețea de către un alt calculator Mac care rulează Leopard. Spotlight oferă posibilitatea căutării online și suportă operatorii booleeni AND, OR, și NOT. Quick
Mac OS X () [Corola-website/Science/296562_a_297891]
-
de război, deținuților politici, revoluționarilor, persoanelor cu handicap, precum și altor categorii asociate. A existat și un sistem de plată prin SMS, dezactivat în cursul anului 2014, singurele modalități de plată fiind în prezent cartelele și abonamentele achiziționate de la case sau automate și cititoarele NFC de la turnicheți - cel puțin unul funcționează în general la fiecare stație și se poate intra plătind călătoria cu cardul compatibil Contactless (Paypass/Paywave). În mai 2016, Metrorex a semnat un contract pentru implementarea plății cu cardul la
Metroul din București () [Corola-website/Science/298423_a_299752]
-
NFC de la turnicheți - cel puțin unul funcționează în general la fiecare stație și se poate intra plătind călătoria cu cardul compatibil Contactless (Paypass/Paywave). În mai 2016, Metrorex a semnat un contract pentru implementarea plății cu cardul la case și automate. Biletele de metrou nu pot fi folosite pe sistemul de transport RATB, adică pe autobuzele, troleibuzele sau tramvaiele din București, acestea folosind alt sistem de bilete (un bilet RATB costă 1,30 lei). În noiembrie 2012 au fost introduse bilete
Metroul din București () [Corola-website/Science/298423_a_299752]
-
metroul de diverse centre comerciale (Piața Sudului de Sun Plaza, Piața Unirii de Unirea Shopping Center). În spațiile de acces au fost amenajate diverse spații comerciale (restaurante, librării, magazine), uneori cu nerespectarea spațiilor de evacuare, iar pe peroane sunt prezente automate cu alimente și băuturi. Spațiile comerciale sunt administrate de compania Sindomet, ce aparține sindicaliștilor de la metrou. În stațiile Grozăvești, Piața Unirii și Apărătorii Patriei sunt amenajate spații sportive (sală de forță, de box și de lupte) unde activează Clubul Sportiv
Metroul din București () [Corola-website/Science/298423_a_299752]
-
Academiei Române. Profesor Membru corespondent al Academiei Române Senior member, IEEE Discipline predate (recent): Programare avansată, Sisteme inteligente, Sisteme bazate pe cunoștințe și sisteme expert, Electronică Medicală, Procesarea imaginilor și a semnalului vocal, Sisteme fuzzy și neuro-fuzzy, Teoria limbajelor formale și a automatelor, Structuri discrete, Teoria algoritmilor Conducere doctorat Academia Română - Inst. Informatică Teoretică Inteligență artificială, Inginerie biomedicală, Teoria sistemelor complexe sub-domenii sau teme de cercetare: A-Life KD Sisteme VR Sisteme AI și sisteme informatice pentru medicină Lucrări publicate:
Horia-Nicolai Teodorescu () [Corola-website/Science/307094_a_308423]
-
teză de licență despre " Analiza și sinteza multipolilor cu contacte". Patru ani mai târziu, îl găsim din nou la studiu ca tânăr doctorand, orientat tot către specializarea informatică. În 1971 elaborează și susține teza de doctorat "Metode combinatorii în teoria automatelor finite", avându-l drept conducător științific pe reputatul profesor Grigore C. Moisil, membru al Academiei Române. În primul an după absolvire am lucrat la Centrul de Calcul al Universității (Moisil voia să știm să programăm bine), am programat în cod mașina
Ioan Tomescu () [Corola-website/Science/307098_a_308427]
-
implicându-se efectiv în munca de cercetare. Mai întâi ca preparator (1965-1968), apoi ca asistent (1968-1972) la catedra de Masini de Calcul a Universității din București, Ioan Tomescu se ocupă în articolele sale în special de probleme privind funcțiile booleene, automatele finite, optimizări în grafuri și rețele, dar în timp, mai ales după ce obține titlul de doctor în matematică, centrul de greutate al preocupărilor sale se deplasează treptat spre zona combinatoricii, a teoriei grafurilor și a informaticii teoretice. Fiind implicat în
Ioan Tomescu () [Corola-website/Science/307098_a_308427]
-
zona combinatoricii, a teoriei grafurilor și a informaticii teoretice. Fiind implicat în multiplele activități ale profesorilor conducători de doctorat (Paul Constantinescu și apoi Grigore C. Moisil), în anul 1971, Ioan Tomescu își susține teza cu titlul: "Metode combinatorii în teoria automatelor finite", avându-l ca profesor conducător de lucrare pe academicianul Grigore C. Moisil. Devine lector (1972-1990) în cadrul aceleiași catedre pentru o perioadă lungă de timp, în care publică intens, susține cursuri în țară și în străinătate, participă la viața științifică
Ioan Tomescu () [Corola-website/Science/307098_a_308427]
-
7) sau care conțin cel puțin 50% cacao (01.1.8.) Exclusiv: ierburi culinare (01.1.7); deserturi care conțin cel puțin 50% cacao (01.1.8). 01.2 Băuturi nealcoolice Băuturile nealcoolice servite pentru consum imediat, inclusiv cele de la automate, sunt incluse în (11.1.1) și (11.1.2). 01.2.1 Cafea, ceai și cacao (ND) - Cafea, indiferent dacă este sau nu decofeinizată, prăjită sau măcinată, inclusiv cafea solubilă, extracte și esențe din cafea și înlocuitori de cafea
jrc3179as1996 by Guvernul României () [Corola-website/Law/88335_a_89122]
-
ne-alcoolice, lichioruri, etc. (02.1.1); vin ne-alcoolizat, cidru, etc. (02.1.2) și bere ne-alcoolizată (02.1.3) 02. BĂUTURI ALCOOLICE ȘI TUTUN 02.1 Băuturi alcoolice Băuturile alcoolice servite pentru consum imediat, inclusiv cele de la automate, sunt incluse în (1.1.1) și (11.1.2) 02.1.1 Spirtoase (ND) - Spirtoase și lichioruri Inclusiv: mied; aperitive, altele decât cele pe bază de vin; spirtoase și lichioruri nealcoolice, etc. 012.1.2 Vin (ND) - Vin din
jrc3179as1996 by Guvernul României () [Corola-website/Law/88335_a_89122]
-
ale"), berea blondă ("lager") și berea neagră ("porter") Inclusiv: bere slab alcoolizată și nealcoolizată 02.2 Tutun (ND) - Țigări și hârtie pentru țigări - Trabucuri, tutun de pipă, tutun de mestecat sau prizat Inclusiv: Achiziții de tutun în cafenele, baruri, restaurante, automate, etc. Exclusiv: Alte articole pentru fumători (12.2). 03. ÎMBRĂCĂMINTE ȘI ÎNCĂLȚĂMINTE 03.1 Îmbrăcăminte 03.1.1 Materiale pentru confecții (SD) - Țesături din fibre naturale, din fibre artificiale și din amestecuri de fibre naturale și artificiale Exclusiv: Țesături pentru
jrc3179as1996 by Guvernul României () [Corola-website/Law/88335_a_89122]
-
planoare - Ambarcațiuni de agrement, motoare exterioare, suprastructuri și velaturi pentru navigație - Componente importante pentru jocuri și sporturi, cum ar fi canoe, caiace, planșe de surfing, aparate de suprastructură, echipamente pentru scafandri, mese de biliard, mese de tenis, mașini de flipper, automate cu fise și carturi pentru golf - Piscine demontabile - Instrumente muzicale, inclusiv instrumente muzicale electronice, cum ar fi piane, orgi, viori, chitare, trompete, clarinete și flauturi - Cai și ponei Exclusiv: Mici instrumente muzicale, cum ar fi muzicuțe, armonici, etc. (09.1
jrc3179as1996 by Guvernul României () [Corola-website/Law/88335_a_89122]
-
schi sau centre de vacanță (07.3.5A); baruri cu program de divertisment (11.1.1); cursuri de calculator, limbi străine, dactilografie, etc. (10A); cheltuieli pentru serviciile prestate de loterii, agenți de pariuri, crupieri, cazinouri și alte stabilimente pentru jocuri, automate cu fise, săli de bingo, loz în plic etc. (nu sunt cuprinse în indice). 09.3 Ziare, cărți și articole de papetărie (SD) (ND) - Cărți, inclusiv atlase, dicționare, enciclopedii și culegeri de texte - Ziare, reviste și alte periodice - Cataloage și
jrc3179as1996 by Guvernul României () [Corola-website/Law/88335_a_89122]
-
imediat, cum ar fi sandvișuri, crenvurști, înghețată, etc. - vânzarea preparatelor culinare și gustărilor de către unități în care are loc prepararea, indiferent dacă sunt sau nu livrate la domiciliu - preparate culinare pentru a fi consumate în altă parte - produse obținute de la automate (sandvișuri, gustări, răcoritoare, cafea, etc.) Inclusiv: Bacșișuri Exclusiv: Achiziții de tutun (02.2). 11.1.2 Cantine (S) Servicii de furnizare a produselor alimentare prestate de cantine de întreprindere și cantinele din școli, universități și alte unități de învățământ. Exclusiv
jrc3179as1996 by Guvernul României () [Corola-website/Law/88335_a_89122]
-
sunteți în starea 42 și dacă simbolul din căsuța pe care o priviți este '0', atunci înlocuiți acest simbol printr-un '1', treceți în starea 17, și priviți căsuța alăturată (dreapta sau stânga) ". O mașină Turing este 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
Mașină Turing () [Corola-website/Science/299502_a_300831]