標(biāo)題: Titlebook: Mathematical Foundations of Computer Science 2013; 38th International S Krishnendu Chatterjee,Jirí Sgall Conference proceedings 2013 Spring [打印本頁] 作者: 有靈感 時間: 2025-3-21 16:54
書目名稱Mathematical Foundations of Computer Science 2013影響因子(影響力)
書目名稱Mathematical Foundations of Computer Science 2013影響因子(影響力)學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 2013網(wǎng)絡(luò)公開度
書目名稱Mathematical Foundations of Computer Science 2013網(wǎng)絡(luò)公開度學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 2013被引頻次
書目名稱Mathematical Foundations of Computer Science 2013被引頻次學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 2013年度引用
書目名稱Mathematical Foundations of Computer Science 2013年度引用學(xué)科排名
書目名稱Mathematical Foundations of Computer Science 2013讀者反饋
書目名稱Mathematical Foundations of Computer Science 2013讀者反饋學(xué)科排名
作者: GRUEL 時間: 2025-3-21 22:37 作者: Functional 時間: 2025-3-22 02:11
A Constructive Proof of the Topological Kruskal Theorem,of Higman’s Lemma due to Murthy and Russell (1990), and illuminates the role of regular expressions there. In the process, we discover an extension of Dershowitz’ recursive path ordering to a form of cyclic terms which we call .-terms. This all came from recent research on Noetherian spaces, and ser作者: 緯度 時間: 2025-3-22 04:59 作者: 波動 時間: 2025-3-22 12:36 作者: gentle 時間: 2025-3-22 15:26
Clustering on ,-Edge-Colored Graphs,ind a clustering of the vertices maximizing the number (or the weight) of matched edges, i.e. the edges having the same color as their extremities. We show that the cardinality problem is NP-hard even for edge-colored bipartite graphs with a chromatic degree equal to two and .?≥?3. Our main result i作者: gratify 時間: 2025-3-22 19:53 作者: 動機(jī) 時間: 2025-3-22 21:33
Computing Behavioral Distances, Compositionally,s, called ., that are guaranteed to be . w.r.t. the bisimilarity pseudometrics of Ferns et al.?[10], which measure behavioral similarities between MDPs. For MDPs built using safe/non-extensive operators, we present the first method that exploits the structure of the system for (exactly) computing th作者: 寬大 時間: 2025-3-23 03:55 作者: Ingratiate 時間: 2025-3-23 09:02 作者: 大約冬季 時間: 2025-3-23 13:19
Parity Games and Propositional Proofs,tion in the system, with respect to a given length bound. We show that if the resolution proof system is weakly automatizable, then parity games can be decided in polynomial time. We also define a combinatorial game and prove that resolution is weakly automatizable if and only if one can separate, b作者: 殘忍 時間: 2025-3-23 16:15
A Constant Factor Approximation for the Generalized Assignment Problem with Minimum Quantities and d to be either zero (if the bin is not opened) or above a given lower bound (a .). This problem is known to be strongly .-complete and does not admit a polynomial time approximation scheme (PTAS)..By using randomized rounding, we obtain a randomized 3.93-approximation algorithm, thereby providing th作者: 充氣女 時間: 2025-3-23 18:35
Determinacy and Rewriting of Top-Down and MSO Tree Transformations,two given tree transformations, whether one is determined by the other. If the view transformation is induced by a tree transducer that may copy, then determinacy is undecidable, even for identity queries. For a large class of non-copying views, namely compositions of functional extended linear top-作者: 鎮(zhèn)壓 時間: 2025-3-24 02:10 作者: 合群 時間: 2025-3-24 02:23 作者: Mawkish 時間: 2025-3-24 09:11
Auctions for Partial Heterogeneous Preferences,rmalization difficulties; (ii) the preferences of auctioneers and bidders may be heterogeneous and unrelated. We tackle these generalized scenarios by introducing a few natural generalizations of second-price auctions, and by investigating which of their classical properties are preserved under whic作者: abysmal 時間: 2025-3-24 12:54
New Polynomial Cases of the Weighted Efficient Domination Problem,ted by exactly one vertex of .. The . (ED) problem, which asks for the existence of an e.d. in ., is known to be .-complete even for very restricted graph classes..In particular, the ED problem remains .-complete for 2. .-free graphs and thus for . .-free graphs. We show that the weighted version of作者: 凹室 時間: 2025-3-24 16:10 作者: MEAN 時間: 2025-3-24 21:38
Jean Goubault-Larrecqnd globale Suchverfahren (Evolution) integriert werden. Die Evolution automatisiert hierbei die üblicherweise verwendete .-Suche nach einer geeigneten Topologie durch den Anwender. Bei unseren experimentellen Untersuchungen haben wir gezeigt, da? sich durch die systematische Suche drastische Verbess作者: NICHE 時間: 2025-3-24 23:12 作者: Intellectual 時間: 2025-3-25 04:51 作者: EPT 時間: 2025-3-25 09:53 作者: 投票 時間: 2025-3-25 14:30
Eric Angel,Evripidis Bampis,Alexander Kononov,Dimitris Paparas,Emmanouil Pountourakis,Vassilis Zissi deshalb nicht l?nger eine Dom?ne der Informatikspezialisten dar. Jedoch gibt es zwischen diesem Gebiet und den F?chern der Ingenieurstudienrichtungen eine Diskrepanz. Unser Bestreben ist es, die neuronalen Netze durch die Be- griffe der Regelungstechnik, ein Pflichtfach für Studenten der Elektrotec作者: cochlea 時間: 2025-3-25 17:46 作者: 熱心助人 時間: 2025-3-25 23:59
Giorgio Bacci,Giovanni Bacci,Kim G. Larsen,Radu Mardare deshalb nicht l?nger eine Dom?ne der Informatikspezialisten dar. Jedoch gibt es zwischen diesem Gebiet und den F?chern der Ingenieurstudienrichtungen eine Diskrepanz. Unser Bestreben ist es, die neuronalen Netze durch die Be- griffe der Regelungstechnik, ein Pflichtfach für Studenten der Elektrotec作者: 挑剔小責(zé) 時間: 2025-3-26 02:05
Sebastian Bala deshalb nicht l?nger eine Dom?ne der Informatikspezialisten dar. Jedoch gibt es zwischen diesem Gebiet und den F?chern der Ingenieurstudienrichtungen eine Diskrepanz. Unser Bestreben ist es, die neuronalen Netze durch die Be- griffe der Regelungstechnik, ein Pflichtfach für Studenten der Elektrotec作者: cavity 時間: 2025-3-26 07:22
Vince Bárány,Michael Benedikt,Balder ten Caten neuronalen Netzen gel?st werden. Sie stellen deshalb nicht l?nger eine Dom?ne der Informatikspezialisten dar. Jedoch gibt es zwischen diesem Gebiet und den F?chern der Ingenieurstudienrichtungen eine Diskrepanz. Unser Bestreben ist es, die neuronalen Netze durch die Be- griffe der Regelungstechnik作者: 死亡 時間: 2025-3-26 09:15
Arnold Beckmann,Pavel Pudlák,Neil ThapenNetze auftreten k?nnen. Zudem wird eine Konzeption erstellt, die helfen soll, diese Schwierigkeiten zu vermeiden. Dabei ist nicht daran gedacht, eine deterministische Zuordnung von Anwendungsbeispielen zu speziellen Auspr?gungen bestimmter Netztypen vorzugeben. Dieser Idealfall würde es erm?glichen,作者: 西瓜 時間: 2025-3-26 16:38 作者: RLS898 時間: 2025-3-26 18:43 作者: Abrade 時間: 2025-3-27 00:45 作者: flex336 時間: 2025-3-27 04:37
Christoph Berkholz,Oleg Verbitskyen Grals der Informationsverarbeitung" nicht ganz entsprechen. Trotz alledem würde das Ignorieren der enormen Potenziale, die durch die Nutzung Neuronaler Netze entstehen k?nnen, das Vers?umen einer strategischen Chance für ein Unternehmen bedeuten. Die Chancenpotenziale sind insbesondere auf zwei w作者: Collision 時間: 2025-3-27 07:05
Henrik Bj?rklund,Wim Martens,Thomas Schwentickim Marketing-Management. Quantitative Analysen von Erhebungsdaten dienen schon seit vielen Jahrzehnten zur Einsch?tzung von Absatzchancen in der Marktforschung. Bei der Gruppierung potentieller K?uferschichten zu Marktsegmenten beispielsweise wird auf Clusteranalyse und andere multivariate statistis作者: STALL 時間: 2025-3-27 09:38
Piero A. Bonatti,Marco Faella,Clemente Galdi,Luigi Sauroim Marketing-Management. Quantitative Analysen von Erhebungsdaten dienen schon seit vielen Jahrzehnten zur Einsch?tzung von Absatzchancen in der Marktforschung. Bei der Gruppierung potentieller K?uferschichten zu Marktsegmenten beispielsweise wird auf Clusteranalyse und andere multivariate statistis作者: Generalize 時間: 2025-3-27 16:14 作者: 愉快嗎 時間: 2025-3-27 18:06
978-3-642-40312-5Springer-Verlag Berlin Heidelberg 2013作者: 河潭 時間: 2025-3-28 01:31
Mathematical Foundations of Computer Science 2013978-3-642-40313-2Series ISSN 0302-9743 Series E-ISSN 1611-3349 作者: 起來了 時間: 2025-3-28 05:35
Krishnendu Chatterjee,Jirí SgallFast conference proceedings.State-of-the-art report.Up to date results作者: Dna262 時間: 2025-3-28 07:19 作者: intimate 時間: 2025-3-28 12:48
Prior-Free Auctions of Digital Goods,The study of prior-free auctions brings the Computer Science approach of worstcase analysis to the classical economic problem of designing optimal auctions. In this talk, I will discuss some recent developments on prior-free auctions for digital goods.作者: 貪心 時間: 2025-3-28 15:32 作者: 虛情假意 時間: 2025-3-28 18:59
https://doi.org/10.1007/978-3-642-40313-2approximation algorithms; finite automata; proof complexity; satisfiability; temporal logic; algorithm an作者: 賞心悅目 時間: 2025-3-28 23:16
Bin Packing Games with Selfish Items,s own payoff. We survey the known results for a number of variants, focusing on worst-case Nash equilibria and other kinds of equilibria, and mentioning several results regarding issues of complexity and convergence to equilibria.作者: Lipoma 時間: 2025-3-29 03:26 作者: comely 時間: 2025-3-29 07:56
Auctions for Partial Heterogeneous Preferences,rmalization difficulties; (ii) the preferences of auctioneers and bidders may be heterogeneous and unrelated. We tackle these generalized scenarios by introducing a few natural generalizations of second-price auctions, and by investigating which of their classical properties are preserved under which conditions.作者: 猜忌 時間: 2025-3-29 12:44
Leah Epsteinge, bis er keine Verbesserungen mehr erzielen kann. In diesem Fall l??t sich eventuell auch durch . nichts verbessern. Da unsere Benchmark-Probleme jedoch zuf?llig aus vorhandenen Benchmark-Sammlungen ausgew?hlt wurden, zeigen die Ergebnisse, da? diese Optimierung in der Praxis typischerweise auf Gr作者: 排名真古怪 時間: 2025-3-29 18:33
Jean Goubault-Larrecqge, bis er keine Verbesserungen mehr erzielen kann. In diesem Fall l??t sich eventuell auch durch . nichts verbessern. Da unsere Benchmark-Probleme jedoch zuf?llig aus vorhandenen Benchmark-Sammlungen ausgew?hlt wurden, zeigen die Ergebnisse, da? diese Optimierung in der Praxis typischerweise auf Gr作者: 衍生 時間: 2025-3-29 20:42
Martin Grohellelen Programmierung der eigentlichen Probleme verbunden sind, so k?nnen wir uns nur wundem, wieso wir Menschen "im Handumdrehen" und "ganz natürlich" Leistungen erbringen k?nnen, die mit den heutigen Rechnern bisher nicht nachvollziehbar waren. Betrachten wir beispielsweise die Probleme der "künstlichen Int978-3-519-02247-3978-3-322-92118-5作者: frugal 時間: 2025-3-30 00:41 作者: COW 時間: 2025-3-30 05:59 作者: adumbrate 時間: 2025-3-30 11:35 作者: 集聚成團(tuán) 時間: 2025-3-30 15:36 作者: 壓倒 時間: 2025-3-30 19:29
Sebastian Balarn. Es werden sowohl Grundlagen als auch die Vielzahl der Netztypen mit ihren spezifischen Eigenschaften behandelt und an Hand der zahl- reichen Beispiele anschaulich erkl?rt. Mit den vorliegenden Algorithmen kann man selbst Programme schreiben, expe- rimentieren und schrittweise alle Variablen und 作者: lymphoma 時間: 2025-3-31 00:41
Arnold Beckmann,Pavel Pudlák,Neil Thapent noch keine geschlossene Theorie des Konnektionismus. Allerdings hat sich im Rahmen der Forschung der letzten Jahre für einige Anwendungsfelder eine Tendenz für die Eignung verschiedener Modelle herauskristallisiert. Zu diesen Anwendungsfeldern z?hlen Datenkompression, Optimierungsaufgaben, Diagnos作者: ingenue 時間: 2025-3-31 04:14
Nicolas Bedont noch keine geschlossene Theorie des Konnektionismus. Allerdings hat sich im Rahmen der Forschung der letzten Jahre für einige Anwendungsfelder eine Tendenz für die Eignung verschiedener Modelle herauskristallisiert. Zu diesen Anwendungsfeldern z?hlen Datenkompression, Optimierungsaufgaben, Diagnos作者: Custodian 時間: 2025-3-31 05:52 作者: myalgia 時間: 2025-3-31 10:34 作者: 貧窮地活 時間: 2025-3-31 13:33 作者: 文藝 時間: 2025-3-31 18:46 作者: Ornament 時間: 2025-4-1 00:14
Piero A. Bonatti,Marco Faella,Clemente Galdi,Luigi Sauroer Strukturgleichungen, wie es in den Sozialwissenschaften bisweilen versucht wird (vgl. Blau & Duncan 1967, Duncan 1966, 1975), erfordert jedoch einen hohen Kenntnisstand in soziologischer Theorie und ist nur schwer für praktische Belange des Marketings zu nutzen. Neuronale Netze lassen sich demgeg作者: 背書 時間: 2025-4-1 04:53 作者: placebo-effect 時間: 2025-4-1 08:38
Logical and Structural Approaches to the Graph Isomorphism Problem,talk I will focus on approaches to the graph isomorphism problem based on structural graph theory and connections between logical definability, certain combinatorial algorithms, and mathematical programming approaches to the isomorphism problem.作者: PATHY 時間: 2025-4-1 12:34 作者: eucalyptus 時間: 2025-4-1 15:53
Antonios Antoniadis,Chien-Chung Huang,Sebastian Ott,José Verschae behandelt und an Hand der zahl- reichen Beispiele anschaulich erkl?rt. Mit den vorliegenden Algorithmen kann man selbst Programme schreiben, expe- rimentieren und schrittweise alle Variablen und 978-3-528-05578-3978-3-663-07675-9作者: maudtin 時間: 2025-4-1 21:55
Vince Bárány,Michael Benedikt,Balder ten Cate behandelt und an Hand der zahl- reichen Beispiele anschaulich erkl?rt. Mit den vorliegenden Algorithmen kann man selbst Programme schreiben, expe- rimentieren und schrittweise alle Variablen und 978-3-528-05578-3978-3-663-07675-9作者: 大酒杯 時間: 2025-4-1 23:51
Conference proceedings 2013rmal languages, bioinformatics, complexity, computational geometry, computer-assisted reasoning, concurrency theory, databases and knowledge-based systems, foundations of computing, logic in computer science, models of computation, semantics and verification of programs, and theoretical issues in artificial intelligence.作者: Obliterate 時間: 2025-4-2 05:43
Alternation Trading Proofs and Their Limitations,?[5]). It is open whether these values of?. are optimal, but Buss and Williams?[2] have shown that for deterministic algorithms, .?
作者: urethritis 時間: 2025-4-2 09:38 作者: 口味 時間: 2025-4-2 14:13
How to Pack Your Items When You Have to Buy Your Knapsack,ith the running time of ., where . is the number of items. Before, only a 3-approximation algorithm was known..We note that our problem with a convex cost function is a special case of maximizing a non-monotone, possibly negative submodular function.作者: seduce 時間: 2025-4-2 15:44
