Wszystkie pola: Lambda prace

Skocz do pozycji: 1.

Tytuł:: Quantitative analysis of linear lambda terms.
Ilościowa analiza liniowego rachunku lambda.
Autorzy:: Kaczmarek, Mateusz
Słowa kluczowe:: rachunek lambda, liniowy rachunek lambda, afiniczny rachunek lambda, analiza ilościowa, mapy, mapy kombinatoryczne
lambda calculus, linear lambda calculus, affine lambda calculus, quantitative analysis, map, combinatorial map; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 2.

Tytuł:: Quantification in Programming Languages.
Kwantyfikacja w Językach Programowania
Autorzy:: Gaiński, Piotr
Słowa kluczowe:: teoria typów, rachunek lambda, sprawdzanie typu, kwantyfikacja, języki programowania, systemy typów
type theory, lambda calculus, type-checking, quantification, programming languages, type systems; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Social media data analysis with Apache Spark
Analiza danych sieci społecznościowych za pomocą Apache Spark
Autorzy:: Kownacki, Aron
Słowa kluczowe:: Big Data, Apache Spark, Twitter, stream processing, Lambda architecture, Spring
Big Data, Apache Spark, Twitter, przetwarzanie strumieniowe, architektura Lambda,Spring; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Proces formułowania i wdrażania strategii przedsiębiorstwa na przykładzie przedsiębiorstwa Lambda
The process of formulating and implementing strategies on an example enterprise Lambda
Autorzy:: Ziarko, Kaja
Słowa kluczowe:: strategic management-company strategy- strategic analysis
zarządzanie strategiczne– strategia przedsiębiorstw– analiza strategiczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Kombinatoryczne interpretacje rekurencji holonomicznych
Autorzy:: Puget, Bartłomiej
Słowa kluczowe:: holonomic recurrence, lambda terms, de Bruijn, generating functions, counting, tree, binary tree, unary-binary tree, Schröder tree
rekurencja holonomiczna, rachunek lambda, de Bruijn, funkcje tworzące, zliczanie, drzewa, drzewa binarne, drzewa unarno-binarne, drzewa Schrödera; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 6.

Tytuł:: Badanie procesów produkcji i częstości zliczeń cząstki /\(1520) w kanale /\e-e+.
Evaluation of the production and registration rate of /\ (1520) via /\ e-e+ channel
Autorzy:: Gawłowski, Witold
Słowa kluczowe:: rozpad Dalitza, Lambda(1520), detektor HADES, Model Wektorowej Dominancji, Form-Faktor
Dalitz decay, Lambda(1520), HADES detector, Vector Meson Dominance, Form Factor; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 7.

Tytuł:: The study of interactions of silver nanoparticles with selected proteins of diagnostic importance.
Badanie oddziaływań nanocząstek srebra z wybranymi białkami o znaczeniu diagnostycznym.
Autorzy:: Barwinek, Ewelina
Słowa kluczowe:: Nanoparticles, NPs, proteins, albumin, lysozyme, FLC, free light chains Kappa, free light chains Lambda, silver, functionalization, interactions
Nanocząstki, białka, albumina, lizozym, wolne łańcuchy lekkie Kappa, wolne łańcuchy lekkie Lambda, srebro, funkcjonalizacja, oddziaływania; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 8.

Tytuł:: Badanie oksydacyjnych modyfikacji immunoglobulin i ich fragmentów.
Oxidative modification of immunolglobulins and their fragments
Autorzy:: Kraus, Krystian
Słowa kluczowe:: light chains , immunoglobulin , myeloperoxidase , oxidation , kappa and lambda chains
łańcuchy lekkie , immunoglobulina , wolne rodniki , stres oksydacyjny , amyloidoza .; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 9.

Tytuł:: Profil produkcji interferonów (IFN) przez ludzkie plazmocytoidalne komórki dendrytyczne w odpowiedzi na DNA i RNA opłaszczone białkami pochodzącymi z ziarnistości neutrofili
The production profile of interferons (IFNs) by human plasmacytoid dendritic cells in response to DNA or RNA decorated with proteins derived from the neutrophil granules
Autorzy:: Topór-Kołkowska, Joanna
Słowa kluczowe:: psoriasis, plasmacytoid dendritic cells, interferon alpha subtypes, interferon lambda 1
łuszczyca, plazmocytoidalne komórki dendrytyczne, podtypy interferonu alfa, interferon lambda 1; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 10.

Tytuł:: Application of a stir-bar sorptive-dispersive extraction for isolating pesticides from rapeseed oil and water samples
Zastosowanie metody sorpcyjno-dyspersyjnej ekstrakcji z elementem mieszającym do izolowania pestycydów z próbek oleju rzepakowego i wody
Autorzy:: Kozak, Małgorzata
Słowa kluczowe:: ekstrakcja sorpcyjno-dyspersyjna z elementem mieszającym, HPLC-DAD, olej rzepakowy, woda środowiskowa, pestycydy, metazachlor, dimetenamid-p, tebukonazol, lambda-cyhalotryna, dimoksystrobina, deltametryna
stir-bar sorptive-dispersive extraction, HPLC-DAD, rapeseed oil, enviromental water, pesticides, metazachlor, dimethenamid-p, tebuconazole, lambda-cyhalothrin, dimoxystrobin, deltamethrin; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Informacja

Wyszukujesz frazę "Lambda prace" wg kryterium: Wszystkie pola