Thematische Bibliographien / Závislé typy

Inhaltsverzeichnis

  1. Zeitschriftenartikel
  2. Dissertationen

Auswahl der wissenschaftlichen Literatur zum Thema „Závislé typy“

Autor: Grafiati
Veröffentlicht am 28. Juni 2021
Zuletzt aktualisiert am 8. Februar 2022

Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an

Wählen Sie eine Art der Quelle aus:

Machen Sie sich mit den Listen der aktuellen Artikel, Bücher, Dissertationen, Berichten und anderer wissenschaftlichen Quellen zum Thema "Závislé typy" bekannt.

Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.

Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.

Zeitschriftenartikel zum Thema "Závislé typy"

1

Souralová, Adéla. „Péčí o děti proti nudě a osamělosti: české chůvy vietnamských dětí aktivně stárnoucí“. Sociální studia / Social Studies 11, Nr. 3 (21.07.2014): 75–96. http://dx.doi.org/10.5817/soc2014-3-75.

Der volle Inhalt der Quelle
Annotation:
Vietnamští rodiče v České republice často hledají české ženy na hlídání svých dětí. Na jejich poptávku po placené péči o děti odpovídá specifická skupina žen, a sice ženy závislé na sociálním státu – na rodičovské dovolené, ženy nezaměstnané a ženy v důchodu. V této stati vycházím z hloubkových rozhovorů uskutečněných s českými chůvami vietnamských dětí, které začaly tuto práci vykonávat záhy po odchodu do důchodu. Analýza těchto rozhovorů odhaluje emické chápání péče o děti a její role v kontextu biografií žen. V textu ukazuji, že péče o děti je stěžejní aktivitou samotného přechodu z participace na trhu práce k důchodu ulehčující ženám navyknout si na novou biografickou zkušenost. Zároveň se zaměřuji na to, jak se péče o děti stává stěžejní pro identitní práci (identity work). Placená péče o děti formuje chápání genderových subjektivit mých informátorek, a to na dvou rovinách. Na té první poskytuje ženám prostor pro „dělání genderu“; skrze péči o závislé dítě ženy definují své ženství. Druhou úrovní je pak kontext rodinný, příbuzenský, kdy každodenní kontakt mezi chůvou a dítětem vede ke zpříbuzenštění. Z chůvy se stává babička (v mnohém suplující prarodiče žijící ve Vietnamu) a z dětí se stávají vnoučata (existující vedle dětí chůviných dětí, které jsou již odrostlé či v méně intenzivním kontaktu s babičkami). Péče tak formuje nové typy rodinných vazeb a umožňuje aktivní (rozuměj: každodenní) zapojení žen do mezigeneračních vztahů.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Macák, J., P. Sajdl, A. Krausová, V. Bystrianský, L. Tůma, M. Zychová und L. Lapčák. „Elektrochemické a spektroskopické studium oxidù na žáropevných ocelích exponovaných v superkritické vodì/ The electrochemical and spectroscopic study of oxides on creep resistant steels exposed to supercritical water“. Koroze a ochrana materialu 58, Nr. 4 (01.12.2014): 100–106. http://dx.doi.org/10.1515/kom-2015-0002.

Der volle Inhalt der Quelle
Annotation:
Použití superkritické vody v energetice je motivováno zvýšením tepelné účinnosti energetického cyklu. Důsledkem vyšší účinnosti je snížení specifi ckých emisí CO2. Superkritické energetické cykly byly proto zařazeny mezi čisté uhelné technologie (CCT - Clean Coal Technology). Vzhledem ke korozní agresivitě superkritické vody je základním požadavkem volba správného konstrukčního materiálu. Všechny typy ocelí, testovaných v této studii, byly použity při konstrukci komponent superkritického energetického bloku. Ke studiu byly vybrány celkem čtyři typy žáropevných ocelí, z toho dva typy austenitických ocelí a dva typy feriticko-martenzitických ocelí. Vzorky těchto ocelí byly exponovány za superkritických podmínek (580 °C, 25 MPa) v experimentální smyčce po dobu 12 až 50 hodin. Zároveň byl zkoumán vliv počáteční fáze expozic - tedy vliv ohřevu z okolní teploty na provozní parametry. Chemické složení a přenosové vlastnosti oxidických vrstev, tvořících se během interakce se superkritickou vodou (SCW), byly studovány ex-situ pomocí elektrochemických metod a povrchových analýz (XPS a Ramanova spektroskopie). Elektrochemické testy zahrnovaly Mott-Schottkyho analýzu založenou na měření impedance v závislosti na elektrodovém potenciálu. Tvar Mott-Schottkyho závislostí sloužil ke kvantitativní charakterizaci polovodivého chování oxidů. Oxidy na všech typech ocelí vykazovaly polovodivé chování jak typu N, tak typu P. Vlastnosti oxidů, zejména hustota poruch a chemické složení, závisí významně na způsobu najetí krátkodobé superkritické expozice.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Mazánek, J., H. Hubálková, H. Staňková, R. Šmucler, I. Linetskiy und V. Seidler. „Dry Socket and the Lenght of Healing Depending on the Type of the Treatment - Part One: Classical Treatment“. Česká stomatologie/Praktické zubní lékařství 111, Nr. 3 (01.09.2011): 55–60. http://dx.doi.org/10.51479/cspzl.2011.009.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Mazánek, J., H. Hubálková, H. Staňková, R. Šmucler, I. Linetskiy und V. Seidler. „Dry Socket and the Lenght of Healing Depending on the Type of the Treatment - Part One: Classical Treatment“. Česká stomatologie/Praktické zubní lékařství 111, Nr. 3 (01.09.2011): 55–60. http://dx.doi.org/10.51479/cspzl.2011.009.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

Mazánek, J., H. Hubálková, H. Staňková, R. Šmucler, I. Linetskiy, V. Seidler und A. Jedličková. „Dry Socket and the Length of Healing Depending on the Type of the Treatment. Part two: Treatment with Ozonated Water“. Česká stomatologie/Praktické zubní lékařství 116, Nr. 4 (01.12.2016): 96–101. http://dx.doi.org/10.51479/cspzl.2016.012.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
6

Mazánek, J., H. Hubálková, H. Staňková, R. Šmucler, I. Linetskiy, V. Seidler und A. Jedličková. „Dry Socket and the Length of Healing Depending on the Type of the Treatment. Part two: Treatment with Ozonated Water“. Česká stomatologie/Praktické zubní lékařství 116, Nr. 4 (01.12.2016): 96–101. http://dx.doi.org/10.51479/cspzl.2016.012.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
7

Makišova, Ana J. „WORDS OF FOREIGN ORIGIN IN THE ORAL DISCOURSE OF VOJVODINIAN SLOVAKS“. ZBORNIK ZA JEZIKE I KNJIŽEVNOSTI FILOZOFSKOG FAKULTETA U NOVOM SADU 1, Nr. 1 (02.12.2011): 27. http://dx.doi.org/10.19090/zjik.2011.1.27-36.

Der volle Inhalt der Quelle
Annotation:
V práci sa zameriavame na výskum cudzích slov v hovorených prejavoch.Každý jazyk obohacuje slovnú zásobu nielen utváraním nových slov, ale aj preberaním slov z cudzíchjazykov. Zo spoločného grécko-latinského fondu sa slovenský jazyk stáročia obohacoval.Rovnako tak aj francúzske slová sa dostali do našej slovnej zásoby a v súčasnosti je to angličtina,k čomu prispievajú aj moderné komunikačné technológie. Používanie slov cudzieho pôvodu v prvomrade závisí od vzdelanostnej úrovne komunikujúceho. Vo výskume sme zistili, že lexémyčasto nadobúdajú srbskú podobu ako kontaktového jazyka. Rovnako tak badať aj vplyv nárečia,predovšetkým stredoslovenského typu. V niektorých prípadoch sme zaznamenali vo výslovnostiodklon od spisovnej normy.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
8

Císař, Ondřej. „Na cestě ke společnosti světoobčanů? Nevládní organizace, sociální hnutí a "noví" aktivisté vně státních hranic“. Sociální studia / Social Studies 2, Nr. 1 (01.01.2005): 87–109. http://dx.doi.org/10.5817/soc2005-1-87.

Der volle Inhalt der Quelle
Annotation:
V této stati podrobíme kritickému posouzení a případné reinterpretaci údajný demokratizační potenciál globální občanské společnosti. K tomu je nejprve třeba definovat postavení pojmu globální občanské společnosti v rámci studia globalizace. Následně budou vymezeny tři pozice (resp. tradice) v současné diskusi o možnostech realizace demokracie na nadnárodní úrovni. V rámci každé tradice bude defi nována funkce, kterou podle ní plní občanská společnost. Další sekce se obrátí k empiricky orientované analýze. Podle převládající interpretace je globální občanská společnost tvořena různými mezinárodními nevládními organizacemi a sociálními hnutími. Stať proto nejprve shrnuje data popisující tento typ politických aktérů a dále se zaměřuje na „nový“ typ globálního (individualizovaného) aktivismu. V další sekci diskutuje dopad, který by aktivity studovaných organizací a hnutí mohly mít na realizaci demokratické kontroly na nadnárodní úrovni. Na tuto část navazuje expozice skeptického pohledu na možnost uskutečnění globálního demokratického občanství. Občanství je odlišeno od aktivismu a jsou diskutovány problémy, s nimiž se současný globální politický aktivismus potýká. V závěru stati je posouzen demokratizační potenciál „globální občanské společnosti“: její aktéři sice mohou zasáhnout do politické komunikace a přispět ke zvýšení transparentnosti politického rozhodování na globální úrovni, nejsou však nositeli globálního občanství. Na globální úrovni kategorie demokratického občanství chybí, je naopak zajišťována institucemi (demokratických) států. Samotná existence globální občanské společnosti je proto závislá na politických a ekonomických podmínkách v jednotlivých státech. S tím souvisí také to, že by se její aktivity namísto nerealizovatelného projektu globální demokracie měly spíše zaměřit na posilování občanské autonomie na úrovni jednotlivých států.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
9

Gwóźdź-Szewczenko, Ilona. „Kulturowy szablon człowieka starzejącego się w literaturach kręgu zachodniosłowiańskiego o tematyce wiejskiej — „chłop na wycugu” jako typ literacki“. Slavica Wratislaviensia 163 (17.03.2017): 511–26. http://dx.doi.org/10.19195/0137-1150.163.43.

Der volle Inhalt der Quelle
Annotation:
The cultural pattern of an aging man in West Slavic literatures about rural themes — alife-annuity peasant as aliterary typeThe objective of the study is to analyse and describe aspecific type of aliterary character who is widely represented in West Slavic literatures created from the second half of the 19th century to the beginning of the Second World War. Then, aclear literary pattern became crystallised. It depicted an aging man in the so-called life annuity. According to the author, the register age of particular characters does not overlap with the advancement of the aging process or life skilfulness depicted in the literary works. However, it depends on transferring the farm, including one’s own life, to the successors. Functioning in the culture, the stereotype of aperson who has transferred their farm and life to the successors shows the debasement of old age, the treatment of the aging phenomenon as acatastrophe as well as the perception of old age as an undesirable state. The aging process occurs immediately and it is forced not only by time but also by the entirety of unhappiness related to the change of the social and living status. The works are connected neither by the historical moment nor by poetics. Theanalysis is therefore even more interesting because the “life­-annuity peasant” is presented in the same manner in nearly all of the analysed works.Kulturní šablona stárnoucího člověka vliteraturách západoslovanského areálu svesnickou tématikou — „sedlák na výminku” jako literární typPředmětem studia je analýza apopis specifického typu literárního hrdiny, který našel četné reprezentace vzápadoslovanských literaturách od 2. poloviny 19. století do začátku 2. světové války. Tehdy se vykrystalizovalo výrazné literární schéma zobrazující stárnoucího člověka na tzv. výminku. Podle autorky se skutečný věk jednotlivých postav neshoduje spokročilostí procesu stárnutí nebo sživotní kondicí vykreslenou vdílech, ale závisí právě na předání hospodářství, atím také svého života, do rukou nástupců. Stereotyp výměnkáře fungujícího vkultuře ukazuje sníženou hodnotu stáří, kdy se jev stárnutí považuje za katastrofu ataké vnímání stáří jako nežádoucí stavu. Proces stárnutí probíhá okamžitě, vynucuje si jej nejen čas, ale imnožství neštěstí spojeného se změnou společenského aživotního statusu. Díla nespojuje historický okamžik, ani poetika, ale právě tím je zajímavější to, že „sedlák na výminku” je představen ve všech analyzovaných dílech takřka stejně.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
10

Stojaspalová, Zdeňka. „FYZICKÉ ZKLIDŇOVÁNÍ DOPRAVY NA VYBRANÝCH MÍSTNÍCH KOMUNIKACÍCH V HLAVNÍM MĚSTĚ PRAZE“. Perner's Contacts 16, Nr. 1 (30.06.2021). http://dx.doi.org/10.46585/pc.2021.1.1670.

Der volle Inhalt der Quelle
Annotation:
Příspěvek se zabývá problematikou zklidňování dopravy na vybraných úsecích místních komunikací, které se nacházejí na území hl. m. Prahy. Jedná se o úseky s celoročně sledovanou intenzitou dopravy. Na daných úsecích proběhlo místní šetření a analýza vybraných atributů (druh fyzického zklidňovacího opatření, umístění, intenzita dopravy apod.). V příspěvku jsou dále ověřovány hypotézy, zda je umisťování vybraných fyzických zklidňovacích prvků na daných úsecích konzistentní (dle typu opatření a dle příčiny instalace) a zda je jejich počet závislý na hodnotě intenzity dopravy nebo délce úseku. Předmětné hypotézy závislosti opatření na délce úseku nebo intenzitě byly vyvráceny, ale byla nastíněna cesta k možnému rozšíření množství dat a jejich analýzy k nalezení komplexnějších závislostí.
APA, Harvard, Vancouver, ISO und andere Zitierweisen

Dissertationen zum Thema "Závislé typy"

1

Zárybnický, Jakub. „Just-in-time kompilace závisle typovaného lambda kalkulu“. Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2021. http://www.nusl.cz/ntk/nusl-445576.

Der volle Inhalt der Quelle
Annotation:
Řada programovacích jazyků byla schopna zvýšit svoji rychlost výměnou běhových systémů stavěných na míru za obecné platformy, které pro optimalizaci používají just-in-time překlad, jako jsou GraalVM nebo RPython. V této práci vyhodnocuji, zda je použití takovýchto platforem vhodné i pro jazyky se závislymi typy nebo důkazovými systémy. Tato práce představuje koncepty -kalkulu a teorie typů potřebné pro úvod do závislých typů s relevantními algoritmy, specifikuje malý závisle typovaný jazyk založený na $\lambda\Pi$ kalkulu, a prezentuje dva interpretery tohoto jazyka. Tyto interpretery jsou psané v jazyce Kotlin, první je jednoduchý, psaný ve funkcionálním stylu a druhý používá platformu GraalVM a Truffle. GraalVM je platforma založená na virtuálním stroji Javy (JVM), která přidává just-in-time překladač založený na částečném vyhodnocení (partial evaluation) a Truffle je knihovna pro tvorbu programovacích jazyků využívající tento překladač. Závěr práce vyhodnocuje běhové charakteristiky těchto interpreterů na různých zátěžových testech.Závěry práce jsou ale silně negativní. Vliv JIT překladu není znatelný ani přes snahu optimalizovat běžné algoritmy z teorie typů, které jsou zjevně nevhodné pro platformu JVM. Práce končí návrhy několika navazujících projektů, které by lépe využily možnosti Truffle a které by byly vhodnější pro implementaci závisle typovaných jazyků.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
2

Fröhlich, Lubomír. „Aktivní kmitočtové filtry pro vyšší frekvence“. Doctoral thesis, Vysoké učení technické v Brně. Fakulta elektrotechniky a komunikačních technologií, 2014. http://www.nusl.cz/ntk/nusl-233616.

Der volle Inhalt der Quelle
Annotation:
This thesis deals with the synthesis and optimization of frequency analogue filters with modern active elements usable for higher frequencies. The thesis is divided into three parts, the first part deals with the problematic concerning Leap-Frog combined ARC structure. Due to a difficult design, this method is not described in a detail and used in practice, although it shows e.g. low sensitivity. Firstly, a complete analysis of individual filters was made (for and T endings) and consequently these findings were used during implementation of this method to NAF program. Finally, samples of real filters were realized (for verification of functioning and correct design). Another very interesting topic concerning filters is usage of coupled band-pass for small bandwidth, where it is necessary to solve the problems concerning ratio of building elements values, but also price, quality, size of coils, sensitivity, Q factors, coefficients etc. That is why in practice a coil is very often substituted with other equivalent lossy and lossless blocks which create ARC filters structure. The design and the possibility of usage of lossy grounded elements were described here (such as synthetic inductors, frequency dependent negative resistor). Some parts of the design are individual computer sensitivity analysis, setting of usage and quality comparison of individual lossy grounded blocks. Besides, a program for these elements was created, it is useful for a quick design and depiction of transfer characteristics. The third part deals with the usage of tuning universal filters consisting three or more operational amplifiers, which secures its universality and possibility to create different kinds of transfer characteristic. In practice, Akerberg - Mossberg and Kerwin - Huelsman - Newcomb are the most used types of filters. These were also compared with less common universal filters. In the end, the possibility of digital tuning of universal filter with the help of digital potentiometers for filters of 10th order and frequency around 1 MHz was shown.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
3

Pustějovská, Petra. „Modelování proudění synoviálních tekutin - nestlačitelné tekutiny rychlostního typu s vazkostí závislou na tlaku“. Master's thesis, 2007. http://www.nusl.cz/ntk/nusl-281203.

Der volle Inhalt der Quelle
APA, Harvard, Vancouver, ISO und andere Zitierweisen
4

Řehoř, Martin. „Chování nových typů materiálových modelů ve squeeze flow geometrii“. Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-305090.

Der volle Inhalt der Quelle
Annotation:
Investigation of material behaviour in a squeeze flow geometry provides an impor- tant technique in rheology and it is relevant also from the technological point of view (some types of dampers, compression moulding). To our best knowledge, the sque- eze flow has not been solved for fluids-like materials with pressure-dependent material moduli. In the main scope of the present thesis, an incompressible fluid whose visco- sity strongly depends on the pressure is studied in both the perfect-slip and the no-slip squeeze flow. It is shown that such a material model can provide interesting departures compared to the classical model for viscous (Navier-Stokes) fluid even on the level of analytical solutions, which are obtained using some physically relevant simplificati- ons. Numerical simulation of a free boundary problem for the no-slip squeeze flow is then developed in the thesis using body-fitted curvilinear coordinates and spectral collocation method. An interesting behaviour is expected especially in the corners of the computational domain where the stress singularities are normally located. Unfor- tunately, numerical results reveal some fundamental drawbacks related to the physical model and its possible improvement is discussed at the end of the thesis.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
5

TICHÁ, Lenka. „Sociální aspekty zdanění příjmů u vybraného typu domácností“. Master's thesis, 2012. http://www.nusl.cz/ntk/nusl-136803.

Der volle Inhalt der Quelle
Annotation:
The aim of this work is to identify development income tax burden as a result of changes in laws and amount of income for the selected type of household, divided by income groups within five years. The work is divided into two parts ? thoretical and practical. The theoretical part discribes the basic concpets regarding the division of family, the subsistence minimum and the average wages. Also includes information about the natural person income tax. The practical part includes a description of the selected type of household (family without children in the four income situations) and own calculations of tax liability this family within five years.
APA, Harvard, Vancouver, ISO und andere Zitierweisen
Wir bieten Rabatte auf alle Premium-Pläne für Autoren, deren Werke in thematische Literatursammlungen aufgenommen wurden. Kontaktieren Sie uns, um einen einzigartigen Promo-Code zu erhalten!

Zur Bibliographie