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ł:: Lambda-Pi - innowacyjne rozwiazania dla przetworstwa
Tematy:: przemysl spozywczy
maszyny i urzadzenia produkcyjne
linie technologiczne
prace wdrozeniowe
oferty handlowe
firma Lambda-Pi
prace badawcze; Pokaż więcej
Dostawca treści:: AGRO

Artykuł

na półce

Szczegóły

Skocz do pozycji: 3.

Tytuł:: Asymptotyczne własności rachunku lambda i logiki kombinatorycznej
Asymptotic properties of lambda calculus and combinatory logic
Autorzy:: Grygiel, Katarzyna
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2013-05-23
Słowa kluczowe:: combinatory logic
rachunek lambda
lambda calculus
gęstość
asymptotic investigations in logic
density
badania asymptotyczne w logikach
logika kombinatoryczna; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 4.

Tytuł:: Quantitative aspects and generation of random lambda and combinatory logic terms
Ilościowe aspekty oraz generowanie losowych termów rachunku lambda oraz termów rachunku kombinatorów
Autorzy:: Bendkowski, Maciej
Współwytwórcy:: Zaionc, Marek
Data publikacji:: 2017-11-27
Słowa kluczowe:: rachunek kombinatorów
combinatorics
combinatory logic
analytic combinatorics
kombinatoryka analityczna
lambda calculus
kombinatoryka
rachunek lambda; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 5.

Tytuł:: Uniwersalny adaptacyjny układ lambda-śledzenia trajektorii dla robotów mobilnych poruszających się po powierzchniach trójwymiarowych.
Autorzy:: Mazur, A.
Data publikacji:: 1998
Słowa kluczowe:: lambda-śledzenie
kołowy robot mobilny
dynamika
uniwersalne sterowanie adaptacyjne
sprzężanie zwrotne dynamiczne; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 6.

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: 7.

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: 8.

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: 9.

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: 10.

Tytuł:: Learning stable mutation in (1, lambda)ES evolutionary strategy
Autorzy:: Prętki, P.
Data publikacji:: 2007
Słowa kluczowe:: evolutionary strategy
discrete spectral measure; Pokaż więcej
Dostawca treści:: BazTech

Artykuł

na półce

Szczegóły

Skocz do pozycji: 11.

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: 12.

Tytuł:: Self-supporting straw tube detectors for the COSY-TOF and PANDA experiments
Samopodtrzymujące detektory słomkowe do eksperymentu COSY-TOF i PANDA
Autorzy:: Jowzaee, Sedigheh
Współwytwórcy:: Smyrski, Jerzy
Data publikacji:: 2014-12-09
Słowa kluczowe:: czas nad progiem
COSY-TOF
straw tube detector
hiperon \lambda
\lambda-hyperon
detektor słomkowy
PANDA
time over threshold; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Książka

na półce

Szczegóły

Skocz do pozycji: 13.

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: 14.

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: 15.

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: 16.

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

Skocz do pozycji: 17.

Tytuł:: Interactive effects of two commonly used insecticides on survival of the red mason bee (Osmia bicornis).
Wpływ interakcji między dwoma powszechnie stosowanymi insektycydami na przeżywanie murarki ogrodowej (Osmia bicornis)
Autorzy:: Zbrozek, Maryellen
Słowa kluczowe:: sulfoksaflor; λ-cyhalotryna; efekt interaktywny; pszczoła samotna; środek owadobójczy
sulfoxaflor; lambda-cyhalothrin; interactive effect; hormesis; solitary bee; insecticide; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 18.

Tytuł:: "Intellectual property in the automotive industry"
" Własność intelektualna w przemyśle motoryzacyjnym"
Autorzy:: Kozak, Piotr
Słowa kluczowe:: intellectual property, industrial property, legal protection, invention, patent, industrial pattern, complex product, pattern variety, repair clause, spare parts, usable pattern, trademark, integrated circuits, copyright, creation, plagiarism, automotive industry, car, Benz Patent-Motorwagen Nummer 1, Deimler, Continental, Ford T, Bohlin's belt, engine, downsizing, CWS T-1, FSO, Syrena, Cargo, LPT, Neothane, Reliant Robin , EPAR, EPO, cruise control, ABS, ESP, ASR, DSG, Bosch, ItelliSafe, BLIS, LED, Sedric, 4 Control, Volvo, SUV, Ferrari, A6, Allroad, Kinetic Seat, RECARO, electronics, sensors, MEMS, Lambda probe, Mercedes, Maserati, Pininfarina, Bertone, China, Peri, tuning, replica
własność intelektualna, własność przemysłowa, ochrona prawna, wynalazek, patent, wzór przemysłowy, wytwór złożony, odmiany wzoru, klauzula napraw, części zamienne, wzór użytkowy, znak towarowy, układy scalone, prawo autorskie, utwór, plagiat, przemysł motoryzacyjny, samochód osobowy, Benz Patent-Motorwagen Nummer 1, Deimler, Continental, Ford T, CWS T-1, pas Bohlina, silnik, downsizing, FSO, Syrena, Cargo, LPT, Neothane, Reliant Robin , EPAR, EPO, tempomat, ABS, ESP, ASR, DSG, Bosch, ItelliSafe, BLIS, LED, Sedric, 4 Control, Volvo, SUV, Ferrari, A6, Allroad, Kinetic Seat, RECARO, elektronika, czujniki, MEMS, sonda Lambda, Mercedes, Maserati, Pininfarina, Bertone, Chiny, Peri, tuning, replika; Pokaż więcej
Dostawca treści:: Repozytorium Uniwersytetu Jagiellońskiego

Inne

na półce

Szczegóły

Skocz do pozycji: 19.

Tytuł:: Zastosowanie pomiaru fluorescencji tryptofanu do oceny stabilności termodynamicznej monoklonalnych wolnych łańcuchów lekkich immunoglobulin
Appliance of the intrinsic tryptophan fluorescence measurements to evaluate the thermodynamic stability of the monoclonal free light chains of the immunoglobulins
Autorzy:: Ślęczek, Monika
Słowa kluczowe:: immunoglobuliny, białka, białko, wolne łańcuchy lekkie, łańcuchy lekkie, gammapatie monoklonale, stabilność termodynamiczna, amyloidoza, włókna amyloidowe, mocz, fluorescencja, spektrofluorymetr, tryptofan, szpiczak mnogi, frakcja zwinięta, denaturacja, mocznik, elektroforeza, choroby depozytowe, dimer, monomer, dimery, monomery, kappa, lambda, przeciwciała, amyloidoza pierwotna, dichroizm kołowy, różnicowa kalorymetria skaningowa, różnicowa fluorymetria skaningowa , klon, agregacja, proces agregacji, tworzenie włókien, amyloidogenność, złogi bezpostaciowe, choroba depozytowa łańcuchów lekkich, frakcja natywna, maksimum fluorescencji, próbka moczu, widmo emisyjne, długość fali wzbudzenia, czas inkubacji, liofilizowane, albumina, SDS-PAGE elektroforeza, fluorofor, stan wzbudzenia, czerwień Kongo, Tioflawina T, zmiany konformacyjne białek, przesunięcie Stokesa, surowica, immunofiksacja, białkomocz, nieamyloidogenny
Immunoglobulins, proteins, protein, free light chains, light chains, monoclonal gammapaties, thermodynamic stability, amyloidosis,fibrils of amyloid, urine, fluorescence, spectrofluorimeter, tryptophan, multiple myeloma, coiled fraction, denaturation, urea, electrophoresis, deposit diseases, dimer, monomer Circular dichroism, differential scanning calorimetry, differential scanning fluorimetry, clone, aggregation, aggregation process, fibrosis, amyloidogenicity, amorphous deposits, light chain deposit syndrome, native fraction, fluorescence maxima, dimers, monomers, kappa, lambda Incubation , freeze-dried, albumin, SDS-PAGE electrophoresis, fluorophore, excitation state, Congo red, Thioflavin T, conformational changes of proteins, Stokes shift, serum, immunofixation, proteinuria, nonamyloidogenic; 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