標(biāo)題: Titlebook: Mashups; Neue Praktiken und ? Florian Mundhenke,Fernando Ramos Arenas,Thomas Wil Book 2015 Springer Fachmedien Wiesbaden 2015 Bricolagen.Me [打印本頁] 作者: fathom 時(shí)間: 2025-3-21 19:00
書目名稱Mashups影響因子(影響力)
書目名稱Mashups影響因子(影響力)學(xué)科排名
書目名稱Mashups網(wǎng)絡(luò)公開度
書目名稱Mashups網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mashups被引頻次
書目名稱Mashups被引頻次學(xué)科排名
書目名稱Mashups年度引用
書目名稱Mashups年度引用學(xué)科排名
書目名稱Mashups讀者反饋
書目名稱Mashups讀者反饋學(xué)科排名
作者: Processes 時(shí)間: 2025-3-21 20:18
Kombiniere! Variiere! Transformiere! Mashups als performative Diskursobjekte in popul?ren Medienkultisiert eine sich abzeichnende Radikalit?t in der Ver?nderung von Diskursordnungen, die nicht mehr nur einzelne Objekte oder einzelne medialen Praktiken betrifft. Einer Begriffsdiskussion folgt ein programmatischer und medienspezifischer überblick, der Mashups in den Bereichen Film, Literatur, Musik,作者: blackout 時(shí)間: 2025-3-22 03:48
Mashup – Figur, Form und mediale Pr?gnanz … , oder lieber doch nur: Ann?herungen an eine Theorie übegenommenen Beschreibungsgestus in einen kulturkritischen Kontext setzt. Diese Diskussion stellt einen Versuch dar, in Form von fünf Ann?herungen das Ph?nomen Mashup nicht einfach nur zu theoretisieren, sondern mit Hilfe der von Ernst Cassirer vorgelegten überlegungen zur symbolischen Pr?gnanz einen 作者: 高興一回 時(shí)間: 2025-3-22 07:15 作者: Anticoagulants 時(shí)間: 2025-3-22 11:41 作者: judicial 時(shí)間: 2025-3-22 16:56 作者: WITH 時(shí)間: 2025-3-22 18:36
Die Mashup-Videos der Zwickauer Terrorzelleung als Mashups wesentlich für ein Verstehen durch Ermittlungsbeh?rden und Presse gewesen w?re. Die Aneignung und Rekontextualisierung von popularkulturellem und Nachrichten-Material war konstitutiv bei der Entstehung der Videos, für ihre Ansprache eines impliziten Publikums, ihre Funktion für T?ter作者: Delectable 時(shí)間: 2025-3-23 01:01
?sthetische und juristische Grauzone. Zum Mashup in der Musik am Beispiel des ,?lich musikalische Fragen, die sprachliche Kontextebene und die visuelle Gestaltung etwa von Albumcovers und ?hnlichem wird ausgespart. Anhand eines breit rezipierten Beispiels des Genres, . (2004), von Brian Burton alias DJ Danger Mouse, werden zun?chst die Eigenheiten des musikalischen Mashups erl作者: Kidney-Failure 時(shí)間: 2025-3-23 02:02
Mashup als Methode: Für einen anderen Zugang zur universit?ren Lehre in der Medienwissenschaftotischen Zusammenhang erscheinen zu lassen, ist demzufolge eine wichtige Kulturtechnik. Diese kulturelle Technik muss aus Sicht der Autorin dringend Eingang in die wissenschaftliche Ausbildung an der Universit?t, besonders in die Medienwissenschaft, finden. Dies nicht als so genannter Praxisteil, so作者: 前兆 時(shí)間: 2025-3-23 07:46
Mashup als Metapher. Eine Selbstkritiknden begrifflichen Problemen auf, die sich in der Beschreibung und Analyse ergeben haben. In der Auseinandersetzung mit so genannten YouTubePoop-Videos (deutsch: YouTubeKacke; kurz: YTP), ergab sich die Frage, wie Produzenten und Videos in der wissenschaftlichen Analyse auf bereits existierende Konz作者: echnic 時(shí)間: 2025-3-23 10:56 作者: Ibd810 時(shí)間: 2025-3-23 15:18 作者: 心神不寧 時(shí)間: 2025-3-23 18:53
Die Verh?ltnisse zum Klingen bringen. Mashup und Sound bei Hubert Fichte, Rolf Dieter Brinkmann und ce. ?Viertel vor 11 nachts: … das TV erledigt, die Unterhaltung der ?ffentlichkeit“ (1975b, S.?160) bezieht sich Rolf Dieter Brinkmann in ?Politisches Gedicht 13.11.73, BRD“ auf die Sp?tausgabe der Tagesschau (Link 1). Die Sprache des Staates verknüpft Brinkmann mit der Unruhe auf den Stra?en. Er sc作者: Tremor 時(shí)間: 2025-3-23 22:35
Bewegtbildpraktiken zwischen traditionellen und digitalen Medien: Das Mashup als paradigmatische Forn dieser Form innerhalb des gegenw?rtigen Medienensembles. Mashups werden dabei als beobachtbare Nutzungspraxen der Netzwerkgesellschaft betrachtet. Einerseits wird deutlich, dass im Mashup eine Kulturtechnik zum Ausdruck kommt, welcher durch digitale Technologien Vorschub geleistet wurde. Andererse作者: uncertain 時(shí)間: 2025-3-24 02:57 作者: 投射 時(shí)間: 2025-3-24 08:23
s set of discretized equations is reduced to a large linear system, whose solution is typically found using an iterative solver. We start with an initial guess, ., and iterate the algorithm to obtain a sequence of solution vectors, ., which are approximations to the exact solution of the linear syst作者: 偶然 時(shí)間: 2025-3-24 13:11 作者: FACET 時(shí)間: 2025-3-24 15:12
nd computational circuits directly from DNA strands. The complexity of biological systems is a major engineering challenge and their modeling relies on a number of diverse formalisms. Moreover, many applications are “mission-critical” (e.g. as recognized by NASA’s Synthetic Biology Initiative) and r作者: 盡責(zé) 時(shí)間: 2025-3-24 22:27
Thomas Wilkeperating systems and libraries to supply context for programs. Our . verifies with machine-checked proofs that the assertions claimed at the top of the toolchain really hold in the machine-language program, running in the operating-system context, on a weakly-consistent-shared-memory machine..Our ve作者: 附錄 時(shí)間: 2025-3-25 00:10 作者: 滲入 時(shí)間: 2025-3-25 05:37 作者: 怕失去錢 時(shí)間: 2025-3-25 07:28 作者: 大方一點(diǎn) 時(shí)間: 2025-3-25 15:07 作者: 流利圓滑 時(shí)間: 2025-3-25 17:32 作者: 思想 時(shí)間: 2025-3-25 20:17 作者: sulcus 時(shí)間: 2025-3-26 02:03
Frédéric D?hllicies have to take the full execution history of a POMDP into account, rendering the problem undecidable in general. A common approach is to use a limited amount of memory and randomize over potential choices. Yet, this problem is still NP-hard and often computationally intractable in practice. A r作者: 不愛防注射 時(shí)間: 2025-3-26 07:54 作者: Chauvinistic 時(shí)間: 2025-3-26 10:45 作者: 南極 時(shí)間: 2025-3-26 13:52
Benjamin Eugster MAlicies have to take the full execution history of a POMDP into account, rendering the problem undecidable in general. A common approach is to use a limited amount of memory and randomize over potential choices. Yet, this problem is still NP-hard and often computationally intractable in practice. A r作者: nocturia 時(shí)間: 2025-3-26 18:12 作者: 走路左晃右晃 時(shí)間: 2025-3-26 22:32
conservative. Recent work provides a data-driven approach to compute the density distribution of autonomous systems’ forward reachable states online. In this paper, we study the use of such approach in combination with model predictive control for verifiable safe path planning under uncertainties. W作者: 百科全書 時(shí)間: 2025-3-27 02:30 作者: micronutrients 時(shí)間: 2025-3-27 08:58 作者: Tincture 時(shí)間: 2025-3-27 11:53
Petra Missomeliusly and quantitatively using stochastic or algebraic methods. Model checking has been proposed to conduct the failure analysis of systems using DFTs. However, it has not been used for DFT qualitative analysis. Moreover, its analysis time grows exponentially with the number of states and its reduction作者: lipoatrophy 時(shí)間: 2025-3-27 16:02 作者: Hay-Fever 時(shí)間: 2025-3-27 19:58 作者: 制定 時(shí)間: 2025-3-28 00:22
, Revisited. Die digitale ?sthetik von Machinima Mashupssondern auch einen medienreflexiven Beitrag zur theoretischen Situierung von hegemonialen Narrativen und Gegen-Narrativen leisten. Der Aufsatz versucht, die medialen und kulturellen Techniken, die den Machinimas zugrunde liegen, in Bezug auf die fankulturellen Gebrauchsweisen medialer Angebote theor作者: 狂熱文化 時(shí)間: 2025-3-28 04:21 作者: 誘使 時(shí)間: 2025-3-28 07:01 作者: paradigm 時(shí)間: 2025-3-28 13:06
od. For the Gauss–Seidel method, we also formalize a set of . for iterative convergence, called the ., for a particular matrix structure, and apply this on a model problem of the one-dimensional heat equation. We also apply the main theorem of iterative convergence to prove convergence of the Jacobi作者: aerial 時(shí)間: 2025-3-28 16:52 作者: 愉快么 時(shí)間: 2025-3-28 22:01 作者: 機(jī)構(gòu) 時(shí)間: 2025-3-28 23:34
Thomas Wilkeproperties of the machine-language program includes only the operational semantics of the machine language, not the source language, the compiler, the program logic, or any other part of the toolchain—even when these proofs are carried out by source-level static analyzers..In this paper I explain th作者: 收藏品 時(shí)間: 2025-3-29 06:25
Reinhold Viehoffove that opacity as a correctness criterion is data independent. Second, we develop conditions for checking data independence of STM algorithms and show their soundness. Together, these results allow to reduce model checking (of data independent STMs) to transactions with a single choice for values 作者: entitle 時(shí)間: 2025-3-29 07:17 作者: FOVEA 時(shí)間: 2025-3-29 13:44 作者: Collected 時(shí)間: 2025-3-29 16:11 作者: Temporal-Lobe 時(shí)間: 2025-3-29 20:49 作者: Enliven 時(shí)間: 2025-3-30 03:12
Frédéric D?hlory to achieve satisfactory policies. First, we extend our encoding to deliver a restricted class of randomized policies. Second, based on the results of the original MILP, we employ a preprocessing of the POMDP to encompass memory-based decisions. The advantages of our approach over state-of-the-ar作者: Engaged 時(shí)間: 2025-3-30 04:12
ch parts inside a line of code have an impact on the properties (killed mutants) and which parts have no impact on the properties (survived mutants). Furthermore, using the incremental feature present in modern SMT-solvers, we observe that mutation can scale up?to industrial models. We demonstrate t作者: 材料等 時(shí)間: 2025-3-30 10:17
Steffi Schültzkebut can also improve the safety of such a controller in an online setting via retraining, without overly degrading its performance. To demonstrate NSA’s benefits, we have conducted several significant case studies in the continuous control domain. These include a target-seeking ground rover navigati作者: meretricious 時(shí)間: 2025-3-30 14:20
Benjamin Eugster MAory to achieve satisfactory policies. First, we extend our encoding to deliver a restricted class of randomized policies. Second, based on the results of the original MILP, we employ a preprocessing of the POMDP to encompass memory-based decisions. The advantages of our approach over state-of-the-ar作者: 背叛者 時(shí)間: 2025-3-30 18:44
Markus Kügle MA accommodations do not scale well with increasing complexity of the autonomous system as the number of text cases explodes and human effort for informal methods becomes infeasible. However from the practice perspective, formal methods have been limited in their application due to: difficulty in elic作者: hardheaded 時(shí)間: 2025-3-30 20:53 作者: 數(shù)量 時(shí)間: 2025-3-31 03:59
Hannah Birr MAate density with an arbitrary initial distribution of uncertainties. We design two challenging scenarios (autonomous driving and hovercraft control) for safe motion planning in environments with obstacles under system uncertainties. We first show that our density estimation approach can reach a simi作者: Hyperlipidemia 時(shí)間: 2025-3-31 06:45
Heiner Stahlreason about programs with procedure calls. We have implemented the approach and applied it to the verification of examples containing dynamic memory allocations, linked lists, and arrays. We observe that most call invariants have a fairly simple shape and discuss ways to reduce the annotation overh作者: 記成螞蟻 時(shí)間: 2025-3-31 12:40
