197,881 matches
-
sau false (principiul "bivalenței") în raport cu realitatea existentă. Michael Dummett atrage atenția asupra faptului că, din punctul de vedere al realismului semantic, este de presupus o corespondență teoretică cu noțiunea de adevăr, care poate fi afirmat doar după o confirmare prin verificarea empirică. Afirmațiile descriptive sunt deaceea hotărîtoare. Interpretarea semantică a realității poate fi găsită deja în "Tractatus Logico-Philosophicus" (1921) al lui Ludwig Wittgenstein, după care există o relație reciprocă între cuvinte și lucruri, astfel încât propozițiile care reunesc cuvintele constituie imagini ale
Realism (filozofie) () [Corola-website/Science/316822_a_318151]
-
reprezintă o problemă aparentă. Ținând seama de premizele metafizice în legătură atât cu tezele realismului, cât și cu cele ale idealismului, răspunsul la această dispută este lipsit de sens și irelevant pentru progresul științelor, întru cât nu rezistă la o verificare empirică. Immanuel Kant considera că imposibilitatea de a demonstra existența lumii "din afara noastră", care poate fi doar crezută, reprezintă un "scandal al filozofiei", la care Martin Heidegger răspunde: ""Scandal al filozofiei" nu este lipsa unei asemenea dovezi, ci încercarea permanentă
Realism (filozofie) () [Corola-website/Science/316822_a_318151]
-
față de integrarea frecventă, cele două rămânând două forme distincte. CI a fost creat la început cu intenția de a fi utilizat în combinație cu testele automate scrise prin practicile de test-driven development, ceea ce a presupus rularea tuturor testelor unitare și verificarea că acestea trec înainte de comiterea modificărilor în depozitul central. Alte elaborări ale conceptului au introdus și servere de build, care rulează automat testele unitare periodic, sau chiar după fiecare commit, raportând dezvoltatorului rezultatele. Utilizarea serverelor de build (care nu neapărat
Continuous integration () [Corola-website/Science/328886_a_330215]
-
Pomerania (cașubi), și Silezia Superioară (silezieni). Guvernul polonez a urmărit să oprească câți mai mulți „autohtoni” din motive propagandistice, de vreme ce prezența lor în fostele teritorii germane era folosită pentru demonstrarea caracterului polonez intrinsec al regiunii. Au fost inițiate procese de „verificare” și „reabilitare națională” pentru redescoperirea „caracterului polonez adormit” și pentru determinarea celor care meritau să primească cetățenia poloneză. Până în cele din urmă, și din rândul acestor autohtoni au existat persoane care au fost expulzate. „Autohtonii” nu doar că nu au
Teritoriile recuperate () [Corola-website/Science/328890_a_330219]
-
celor care meritau să primească cetățenia poloneză. Până în cele din urmă, și din rândul acestor autohtoni au existat persoane care au fost expulzate. „Autohtonii” nu doar că nu au privit cu simpatie procesele subiective și de multe ori arbitrare de verificare, dar au devenit victime ale discriminării și agresiunilor chiar și după ce au trecut de ele, de exemplu prin polonizarea numelor lor. În regiunea Lubusz (fostul Brandenburg Răsăritean), autoritățile locale au recunoscut deja în 1948 că ceea ce guvernul de la Varșovia denumea
Teritoriile recuperate () [Corola-website/Science/328890_a_330219]
-
Aici, toți bărbații invitați la nuntă vor oferi daruri în bani mirelui. În mod tradițional, petrecerea femeilor are loc într-o altă parte a casei, diferită de cea a bărbaților. Seara, mirele și mireasa sunt conduși în camera nupțială. Pentru verificarea virginității fetei încă se mai pune o pânză albă pe pat, special pregătită și examinată cu atenție după noaptea nunții de două sau trei femei în vârstă din ambele familii. Ele vor anunța public dacă mireasa a fost sau nu
Tradiții de nuntă la arabi () [Corola-website/Science/328961_a_330290]
-
de acasă și provocând îngrijorarea părinților săi. Tatăl său merge să-l caute și anunță dispariția organelor de miliție. Deoarece copilul nu revenise acasă nici a doua zi dimineață, inginerul Mircea Danu este îngrijorat la serviciu. El era șeful Serviciului Verificări Tehnice de la Autobaza ITA 3 și răspundea de verificarea tehnică a peste 800 de camioane, autobuze și basculante. În hala de lucru a autobazei, șoferul Constantin Neagu (Andrei Codarcea) îl bate la cap pe maistrul mecanic Manole (Boris Ciornei) să
Tată de duminică () [Corola-website/Science/328999_a_330328]
-
merge să-l caute și anunță dispariția organelor de miliție. Deoarece copilul nu revenise acasă nici a doua zi dimineață, inginerul Mircea Danu este îngrijorat la serviciu. El era șeful Serviciului Verificări Tehnice de la Autobaza ITA 3 și răspundea de verificarea tehnică a peste 800 de camioane, autobuze și basculante. În hala de lucru a autobazei, șoferul Constantin Neagu (Andrei Codarcea) îl bate la cap pe maistrul mecanic Manole (Boris Ciornei) să-i semneze actul care să ateste că s-a
Tată de duminică () [Corola-website/Science/328999_a_330328]
-
a peste 800 de camioane, autobuze și basculante. În hala de lucru a autobazei, șoferul Constantin Neagu (Andrei Codarcea) îl bate la cap pe maistrul mecanic Manole (Boris Ciornei) să-i semneze actul care să ateste că s-a făcut verificarea tehnică a autocamionului său, deși acesta avea ceva probleme la sistemul de direcție. Maistrul îl refuză, iar șoferul se duce atunci la inginer și insistă că autocamionul este reparat și că poate merge cu el în cursă. Gândindu-se permanent
Tată de duminică () [Corola-website/Science/328999_a_330328]
-
halifat Allah sau zill Allah (califul lui Dumnezeu). Administrația abbasidă dispunea și de o contabilitate (diwan al zimam), înființată de Al-Mahdi, o cancelarie (diwan al-tawqi'). Cancelaria se ocupa de toate documentele politice și edictele califale, existând și o instituție pentru verificarea plăngerilor. Califul utiliza veniturile ("fay"') pentru plata trupelor, întreținerea drumurilor, podurilor, a moscheilor și în general, pentru bunăstarea comunității musulmanilor. Cancelarul curții "(Hagib)" era principalul demnitar din anturajul califului. Acesta era însărcinat să îi prezinte califului solii și oaspeții de
Organizarea militară și politică abbasidă () [Corola-website/Science/329016_a_330345]
-
of our craft's ceaseless, self-flagellating credibility crisis" — Patrick Beach, "Austin American-Statesman" De când jurnalismul narativ este bazat pe capacitatea scriitorului de a-si reconstrui experiențele, multi profesioniști în noul domeniu sunt precauți în utilizarea tehnicilor pentru că este adesea mai grea verificarea faptelor în poveste. În timpul lui Jayson Blair, cei interesați de etică relatărilor și stilului de a scrie corect au devenit prudenți la modul de relatare care poate denatura faptele pentru a determina publicul să se implice mai mult emoțional. Jurnalismul
Jurnalismul narativ () [Corola-website/Science/325000_a_326329]
-
cosmetiza cu mult mai multe accesorii, cum ar fi sistemul audio din portbagaj, schimbarea culorii luminilor din față sau modificarea kilometrajului. Apar și curse noi, precum Street X, Underground Racing League (URL), dar și Dyno Test. Dyno Test este o verificare specială a motorului, a suspensiilor, a Turbo-ului, a Nitro-ului, a efectelor aerodinamice. La începutul modului carieră, Rachel îi oferă câteva mașini ca să poată să își facă un nume. Orasul Bayview este împărțit în 5 părți, care pot fi deblocate
Need for Speed: Underground 2 () [Corola-website/Science/324461_a_325790]
-
în piața centrală a orașului, iar locuitorii secolului al XVII-lea sunt niște roboți perfecționați. Singura care a bănuit acest lucru a fost Mary, fapt care justifică escapadele sale alături de Aramis și Moș Lapin, care i-au permis să facă verificări amănunțite pentru a-și demonstra teoriile. Vel acceptă utilitatea unora dintre tehnologiile veacului său, iar Tuning Clit recunoaște la rândul său că este nevoie de eliminarea exceselor în acest domeniu.
Planeta Umbrelelor Albastre () [Corola-website/Science/327409_a_328738]
-
Cotes a dezvoltat trigonometria din punct de vedere analitic și aplicat-o în astronomie și geodezie. În 1714 a dezvoltat numărul e în fracție continuă, calculându-i valoarea cu 12 zecimale exacte. A utilizat cisoida lui Diocles ca model pentru verificarea metodelor de integrare, iar în 1714 a descris curba denumită ""cârja"", ca loc geometric al extremității subnormalelor polare la spirala parabolică. I se atribuie enunțarea, în 1716, a unei teoreme despre cerc, care îi poartă numele (teorema lui Cotes). Lui
Roger Cotes () [Corola-website/Science/326904_a_328233]
-
începând cu 1967 în mai multe publicații. Aceste studii sunt văzute de unii autori astăzi că un punct de pornire și o prima dovadă a Terapiei cu laser rece, însă o propagare științifică a experimentelor sale sau chiar o ulterioară verificare experimentală a acestora nu există până acum. Procesele fotochimice pe care o radiație laser le provoacă în celule vii, sunt obiectul a numeroase speculații științifice și pseudoștiințifice, acestea fiind de foarte multă vreme neelucidate în mod clar. De către protagoniștii acestei
Terapie cu laser rece () [Corola-website/Science/326981_a_328310]
-
Guvernul Ponta”, a spus Steffen Seibert, purtătorul de cuvânt al guvernului german, care „a atras atenția că evoluțiile din România nu vor fi trecute cu vederea în analiza problemei aderării (...) țarii la spațiul Schengen și în cadrul Mecanismului de Cooperare și Verificare.” Mario Kreuter de la Institutul pentru Studii Est și Sud-Est Europene de la Regensburg a declarat pentru Radio Deutsche Welle: „Băsescu este orice altceva, dar nu un bun democrat. El este cel puțin la fel de corupt ca cei cu care afirmă că se
Criza politică din România, 2012 () [Corola-website/Science/326997_a_328326]
-
mai mereu beat, era singura persoană care avea control asupra câinelui. Într-una din zile, domnișoara Hunter a găsit într-un sertar blocat o șuviță de păr pe care l-a presupus a fi al ei. Cu toate acestea, la verificarea bagajelor și-a găsit propria șuviță, constatând astfel că cele două șuvițe erau practic identice. Guvernanta este intrigată de faptul că vila avea o aripă misterioasă. Domnișoara Hunter a observat că o parte a casei părea să nu fie folosită
Aventura de la „Fagii de Aramă” () [Corola-website/Science/323699_a_325028]
-
central în Calabasas, California deține centre de dezvoltare în Statele Unite, Canada, India și România și are aproximativ 1.400 de angajați în toată lumea. Compania mai are de asemenea un sediu de suport și vânzări în Marea Britanie. Ixia furnizează sisteme de verificare și platforme de verificare a serviciilor pentru rețele cablate și wireless. Soluțiile de testare ale companiei sunt folosite pentru a verifica dacă rețelele de IP operează fiabil în condiții de încărcare maximă și dacă sunt sigure în fața atacurilor cibernetice. Clienții
Ixia (companie) () [Corola-website/Science/323894_a_325223]
-
deține centre de dezvoltare în Statele Unite, Canada, India și România și are aproximativ 1.400 de angajați în toată lumea. Compania mai are de asemenea un sediu de suport și vânzări în Marea Britanie. Ixia furnizează sisteme de verificare și platforme de verificare a serviciilor pentru rețele cablate și wireless. Soluțiile de testare ale companiei sunt folosite pentru a verifica dacă rețelele de IP operează fiabil în condiții de încărcare maximă și dacă sunt sigure în fața atacurilor cibernetice. Clienții importanți ai Ixia sunt
Ixia (companie) () [Corola-website/Science/323894_a_325223]
-
Karpenstein ar fi trăit "ani de zile" din furturi. Deasupra ar fi homosexual. Șeful SA-ului de atunci, Ernst Röhm, ucis în 1934, l-a considerat în 1933 "o primejdie și un scandal pentru mișcare". Organele de control însărcinate cu verificarea politicii de personal respectiv de finanțe a lui Karpenstein au catalogat această declarație drept "iresponsabilă". În calitate de gauleiter era și editorul "Ziarului Pomeran ("Pommersche Zeitung")". Ca atare a luat banii acestui ziar pentru a cumpăra 25 de mașini pe care le-
Wilhelm Karpenstein () [Corola-website/Science/323089_a_324418]
-
ce nu conține binare fără cod sursă și adăugarea unor alte pachete. Din 11 decembrie 2008, a fost inclus de Fundația Programelor Libere în lista de distribuții GNU/Linux libere disponibilă pe pagina GNU, după un mai lung proces de verificare derulat pentru a se asigura că echipa de dezvoltare și comunitatea proiectului Trisquel sunt devotate promovării și distribuirii programelor libere în procent de 100%. Diferența principală este filtrul strict pe care Trisquel îl aplică pachetelor de programe care pot fi
Trisquel GNU/Linux () [Corola-website/Science/324161_a_325490]
-
pe arhitectura reală a FPGA-ului. Procesul furnizează un sir de biți care este folosit pentru a reconfigura FPGA-ul. Pentru a valida aceste rezultate se folosesc procese de management al timpului, post-sinteză, simulări pentru validarea funcționalității și metodologii de verificare. FPGA-ul suporta noțiunea de calcul reconfigurabil și este capabil de paralelism care poate fi mapat direct din algoritmul paralel al unei aplicații, având în vedere caracteristicile flow-ului de date al ei. In domeniul de calcul performant a apărut recent
Prelucrare paralela cu FPGA-uri () [Corola-website/Science/326516_a_327845]
-
formalisme pentru modelarea și înțelegerea sistemelor concurente au fost dezvoltate, incluzând: Unele dintre aceste modele de concurență sunt destinate în primul rând modelării și stabilirii specificațiilor, în timp ce altele pot fi utilizate pe parcursul întregului ciclu de dezvoltare, inclusiv pentru proiectarea, implementarea, verificarea, testarea și simularea sistemelor concurente. Proliferarea diferitelor modele de concurență a motivat unii cercetători să dezvolte moduri de a unifica aceste modele teoretice. De exemplu, Lee și Sangiovanni-Vincentelli au demonstrat că modelul "tagged-semnal" poate fi folosit pentru a oferi un
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
în hardware-ul sistemului), pentru a controla accesul la aceste resurse. Utilizarea de "arbitri" introduce posibilitatea nedeterminării în calculul concurent, care are implicații majore în practică, afectând corectitudinea și performanța. De exemplu, arbitrarea introduce nondeterminism nelimitat, care ridică probleme cu verificarea modelului, provocând o explozie în spațiul stărilor și poate duce chiar la modele cu un număr infinit de stări. Unele modele concurente de programare includ co-procese și concurență deterministă. În aceste modele, fire de execuție de control oferă în mod
Concurență (informatică) () [Corola-website/Science/326517_a_327846]
-
organ de potențial donator este necorespunzător, pacientul să devină stresat, el având deja fragilă stare psihică, care necesită de obicei sprijin emoțional înainte de a reveni acasă. Pacientul trebuie să fie supus, de asemenea, unor teste psihologice, emoționale, fizice și de verificare a sănătății mentale și capacitatea de a utiliza bine a o inimă nouă. Pacientului i se administrează , de asemenea, medicamente imunosupresoare, astfel că sistemul lui de imunitate să nu respingă inima nouă. Odată ce inima donator trece de control, pacientul este
Transplant de inimă () [Corola-website/Science/326740_a_328069]