標(biāo)題: Titlebook: Mathematical and Engineering Methods in Computer Science; 8th International Do Antonín Ku?era,Thomas A. Henzinger,David Anto? Conference pr [打印本頁(yè)] 作者: 從未沮喪 時(shí)間: 2025-3-21 16:12
書目名稱Mathematical and Engineering Methods in Computer Science影響因子(影響力)
書目名稱Mathematical and Engineering Methods in Computer Science影響因子(影響力)學(xué)科排名
書目名稱Mathematical and Engineering Methods in Computer Science網(wǎng)絡(luò)公開(kāi)度
書目名稱Mathematical and Engineering Methods in Computer Science網(wǎng)絡(luò)公開(kāi)度學(xué)科排名
書目名稱Mathematical and Engineering Methods in Computer Science被引頻次
書目名稱Mathematical and Engineering Methods in Computer Science被引頻次學(xué)科排名
書目名稱Mathematical and Engineering Methods in Computer Science年度引用
書目名稱Mathematical and Engineering Methods in Computer Science年度引用學(xué)科排名
書目名稱Mathematical and Engineering Methods in Computer Science讀者反饋
書目名稱Mathematical and Engineering Methods in Computer Science讀者反饋學(xué)科排名
作者: abreast 時(shí)間: 2025-3-21 22:47
ypertensive rats as well as in therapeutic administration to Dahl rats with already existing malignant hypertension. It is evident that such effects cannot be achieved by a simple peripheral vasodilation..In fact, minoxidil only temporarily decreased blood pressure in Dahl rats with malignant hypert作者: 災(zāi)難 時(shí)間: 2025-3-22 03:52
Dirk Beyer,Andreas Stahlbauersoldipine was effective in the first treatment period. In the two cases which did not have sufficient response to the group 2 therapy, the time of administration was changed in the second treatment period. After this, nisoldipine was effective in all cases in the second treatment period, including a作者: 狂熱語(yǔ)言 時(shí)間: 2025-3-22 06:27
Dieter Gollmann fraction of ≥ 5% ). Nisoldipine caused a rise in mean (SD) resting heart rate from 83 (12) to 92 (21) beats per min and a fall in resting systolic pressure from 145 (30) mmHg to 136 (25) mmHg. Both heart rate and systolic pressure rose significantly, however, from rest to both stages of cold presso作者: ALT 時(shí)間: 2025-3-22 12:44
Sylvain Gravier,Jér?me Javelle,Mehdi Mhalla,Simon Perdrixidence of cardiac events at follow-up. PET provides improved imaging capabilities compared with single photon emission computed tomography (SPECT) by correcting for photon attenuation and permitting the noninvasive measurement of regional myocardial blood flow in absolute terms or myocardial substra作者: cruise 時(shí)間: 2025-3-22 15:11 作者: 詩(shī)集 時(shí)間: 2025-3-22 17:24 作者: 現(xiàn)代 時(shí)間: 2025-3-22 23:40
Peter Bro Miltersendings in local and regional distances, was applied to determine the focal mechanisms of recent moderate events. The solutions, obtained by minimizing the difference between observed and synthetic waveforms, revealed that shallow events are mainly related to normal faulting, whereas intermediate dept作者: cultivated 時(shí)間: 2025-3-23 02:22
Andris Ambainis,Jānis Iraids,Dmitry Kravchenko,Madars Virzat are focused on surface waters. In the humid southeast the persistence of nitrate in the subsurface may not be long enough to create nonpoint problem areas..In almost all the nitrate-contaminated ground water, nitrate is stratified with the highest levels in the shallow ground water. In many case s作者: resistant 時(shí)間: 2025-3-23 07:45 作者: Vulnerary 時(shí)間: 2025-3-23 10:52
Martin Bey? fertilizer N as the season progresses. Fertilizer N can be applied in the irrigation water when the crop is too tall for typical machinery. Both leaf N concentration and use of chlorophyll meters are promising techniques for evaluating the N status of irrigated corn. Crop N and water needs can also作者: ELATE 時(shí)間: 2025-3-23 15:38
Tomá? Brázdil,Antonín Ku?era,Petr Novotnynitratebased fertilizers and ending with river nitrate concentrations. The study proceeds experimentally through intensive field studies, and theoretically through construction of models which will be calibrated with data from the field study. A brief description of the study is given.作者: Infantry 時(shí)間: 2025-3-23 19:14 作者: obstinate 時(shí)間: 2025-3-23 23:47 作者: CRASS 時(shí)間: 2025-3-24 06:08
Denis Kurz,Petra Mutzel,Bernd Zeye, da? die günstigen Wirkungen der Nitrate bei Angina pectoris zumindest teilweise mit ihrer systemischen Gef??wirkung zusammenh?ngen, k?nnte die Kreislauftoleranz m?glicherweise mit einer Ver?nderung der antiangin?sen Wirkung einhergehen. Die vorliegende Studie wurde zwecks Prüfung der Kreislauf- u作者: 嘲弄 時(shí)間: 2025-3-24 09:57
Kim G. Larsen,Simon Laursen,Ji?í Srba Weise von Anwendung zu Anwendung appliziert werden, noch unterschiedlicher sein. Im folgenden soll über die Entwicklung und erstmalige Verwendung eines neuen lokalen Wirkstoff-Abgabesystems für Nitroglycerin beim Menschen, mit einer Wirkungsdauer von mindestens 24 h, berichtet werden.作者: 多嘴 時(shí)間: 2025-3-24 12:49 作者: 壓迫 時(shí)間: 2025-3-24 18:26 作者: 有其法作用 時(shí)間: 2025-3-24 23:00 作者: 某人 時(shí)間: 2025-3-24 23:39 作者: 尖酸一點(diǎn) 時(shí)間: 2025-3-25 05:29
BDD-Based Software Model Checking with ,,of ECA programs. The results show that BDDs are efficient, which yields the insight that BDDs could be used selectively for some variables (to be determined by a pre-analysis), even in general software model checking.作者: 鴕鳥(niǎo) 時(shí)間: 2025-3-25 11:34 作者: deceive 時(shí)間: 2025-3-25 11:41 作者: cumber 時(shí)間: 2025-3-25 16:31 作者: 暴發(fā)戶 時(shí)間: 2025-3-25 21:40
Dirk Beyer,Andreas Stahlbauerer to investigate the correlation between the efficacy and blood levels of the drug. Each treatment period lasted 4 days, and the schedule was observation, treatment, wash-out and a second treatment period..Two patients (group 1) received 5 mg twice daily, group 2 (. = 5) 10 mg twice daily and group作者: 兒童 時(shí)間: 2025-3-26 01:04
Dieter Gollmanno cold pressor stimulation in 12 patients with angina and normal coronary arteries. All patients had chest pain, evidence of ischaemia on exercise electrocardiograms and abnormal responses to exercise on radionuclide angiography. Patients were imaged at rest and after 1 and 2.5 min of cold pressor s作者: 合唱團(tuán) 時(shí)間: 2025-3-26 04:40 作者: PLIC 時(shí)間: 2025-3-26 09:11
Said Hamdiouiial infarction, may be reversible or permanent [1]. Thrombolytic therapy increases the probability of early reperfusion and may increase the probability of reversible dysfunction [2]. The infarcted segments may show resting hypoperfusion, despite a preserved viability, and functional recovery once p作者: Abrade 時(shí)間: 2025-3-26 15:26
Colin McDiarmidltures. The interesting cultural and historical heritage of the island is a courtesy of its geographical position, in the southeast corner of the Aegean Sea, and of the circular and mountainous volcanic morphology, making it a rather inaccessible island, where values are more easily preserved. Nisyr作者: 預(yù)感 時(shí)間: 2025-3-26 20:00 作者: radiograph 時(shí)間: 2025-3-26 23:21
Andris Ambainis,Jānis Iraids,Dmitry Kravchenko,Madars Virzause of the ubiquitous nature of nitrate sources, no American state is completely immune to nitrate contamination. Yet, nationally there is a skew distribution of nitrate-contaminated ground- and surface-water areas. The hydrogeology of a generic nitrate-vulnerable ground-water system is a sand and g作者: 老人病學(xué) 時(shí)間: 2025-3-27 01:58
Mathias Andersen,Heine Gatten Larsen,Ji?í Srba,Mathias Grund S?rensen,Jakob Haahr Taankvist but effective management is difficult because of the complex interactions between soil, water, and nitrogen (N). It is widely recognized that N and water management must be addressed simultaneously to develop production systems that reduce nitrate leaching. Difficulties with N and water management 作者: 黑豹 時(shí)間: 2025-3-27 07:56
Martin Bey? but effective management is difficult because of the complex interactions between soil, water, and nitrogen (N). It is widely recognized that N and water management must be addressed simultaneously to develop production systems that reduce nitrate leaching. Difficulties with N and water management 作者: Ventilator 時(shí)間: 2025-3-27 11:29
Tomá? Brázdil,Antonín Ku?era,Petr Novotnye from fertilized fields. Both the runoff of nitrate and the river discharge are random variables whose combination yields the desired probability. The problem is formulated in terms of reliability theory, and the model is formally extended to cover both input variable uncertainty and risk assessmen作者: CANT 時(shí)間: 2025-3-27 14:45 作者: 方便 時(shí)間: 2025-3-27 17:55 作者: dermatomyositis 時(shí)間: 2025-3-28 01:29 作者: 情感脆弱 時(shí)間: 2025-3-28 02:38
Kim G. Larsen,Simon Laursen,Ji?í Srbate zur Prophylaxe der Angina pectoris und neuerdings auch zur Langzeit-Therapie von Patienten mit linksventrikul?rer Insuffizienz eingeführt. Diese langwirkenden Pr?parate, zu denen auch Nitroglycerin-Salbe, orale Nitroglycerin-Retardpr?parate sowie ?Langzeitnitrate“ vom Typ des Isosorbiddinitrat un作者: FAZE 時(shí)間: 2025-3-28 08:31
Michal Miku?,Marek Syshrere Studien belegt (4). So wurden nach oraler Gabe von ISDN eine erh?hte Belastbarkeit, Besserung der Symptome, verminderte elektrokardiographische Anzeichen von Myokardisch?mie sowie günstige Ver?nderungen der Herz-Kreislauf-H?modynamik festgestellt (1–3). Dennoch bleibt die Frage offen, ob die c作者: 背信 時(shí)間: 2025-3-28 10:47
Andris Ambainis,Artūrs Ba?kurs,Nikolajs Nahimovs,Alexander Rivoshn Medikamente den erh?hten Pulmonalisdruck nur kurzfristig zu senken verm?gen (4, 10, 13, 15). über die günstige Wirkung von Isosorbiddinitrat (ISDN) auf die Druckverh?ltnisse im Lungenkreislauf wurde erstmals 1970 von Both (1) berichtet. Nachfolgende Untersuchungen best?tigten den drucksenkenden Ef作者: –DOX 時(shí)間: 2025-3-28 18:27 作者: 偏離 時(shí)間: 2025-3-28 19:39 作者: 確定方向 時(shí)間: 2025-3-29 01:08
BDD-Based Software Model Checking with ,, the state space; BDDs are sometimes used as auxiliary data structure. The representation of software state spaces by BDDs was not yet thoroughly investigated, although BDDs are successful in hardware verification. The reason for this is that BDDs do not efficiently support all operations that are n作者: Hemodialysis 時(shí)間: 2025-3-29 07:04
Security for Cyber-Physical Systems,cause undesired effects in the physical world. We examine to which extent traditional IT security techniques can protect against attacks on cyber-physical systems and which additional measures could be deployed to strengthen their security. Properties relevant in this context are the veracity and pl作者: 保留 時(shí)間: 2025-3-29 10:25
,Quantum?Secret?Sharing with Graph States,o resource efficient since every player’s share is composed of a single qubit. The threshold of a graph-state-based protocol admits a lower bound: for any graph of order ., the threshold of the corresponding .-player protocol is at least 0.506.. Regarding the upper bound, lexicographic product of th作者: extemporaneous 時(shí)間: 2025-3-29 14:49
Testing Embedded Memories: A Survey,) content in the future, approaching 90% in in some cases. Therefore, the memory yield and quality will have a dramatic impact on the overall SoC cost and outgoing product quality. Meeting a high memory yield and quality requires understanding memory designs, modeling their faulty behaviors in appro作者: 蜿蜒而流 時(shí)間: 2025-3-29 19:37
Quicksort and Large Deviations,isons on any input of . distinct keys is Θ(. ln .), and the probability of a large deviation above the expected value is very small. This probability was well estimated some time ago, with an ad-hoc proof: we shall revisit this result in the light of further work on concentration.作者: creatine-kinase 時(shí)間: 2025-3-29 20:14
,Recent Results on Howard’s Algorithm,us application areas that are so important that they usually go by their acronyms, e.g., OR, AI, and CAV. While Howard’s algorithm is generally recognized as fast in practice, until recently, its worst case time complexity was poorly understood. However, a surge of results since 2009 has led us to a作者: nuclear-tests 時(shí)間: 2025-3-30 02:38
Advantage of Quantum Strategies in Random Symmetric XOR Games,concentrate on a simple subset of non-local games: multiplayer XOR games with 1-bit inputs and 1-bit outputs which are symmetric w.r.t. permutations of players..We look at random instances of non-local games from this class. We prove a tight bound for the expected performance on the classical strate作者: 疼死我了 時(shí)間: 2025-3-30 04:32 作者: negligence 時(shí)間: 2025-3-30 10:54
Fast Algorithm for Rank-Width,phs of practical relevance to the established bounds of boolean-width. While the width of most graphs is lower than the known values for tree-width, it turns out that the boolean-width heuristic is able to find decompositions of significantly lower width. In a second step we therefore present a furt作者: CREST 時(shí)間: 2025-3-30 14:35
Determinacy in Stochastic Games with Unbounded Payoff Functions,ated along a run, respectively. Since the total accumulated reward is unbounded, the determinacy of such games cannot be deduced directly from Martin’s determinacy result for Blackwell games. Nevertheless, we show that these games . determined both for unrestricted (i.e., history-dependent and rando作者: radiograph 時(shí)間: 2025-3-30 19:13 作者: 哀悼 時(shí)間: 2025-3-30 22:05
Controllable-Choice Message Sequence Graphs,among parallel components communicating via messages. This fundamental problem of MSG is known to be undecidable. We introduce a well motivated restricted class of MSG, so called controllable-choice MSG, and show that all its models are realizable and moreover it is decidable whether a given MSG mod作者: 支架 時(shí)間: 2025-3-31 01:36 作者: 廢除 時(shí)間: 2025-3-31 07:54 作者: 揭穿真相 時(shí)間: 2025-3-31 11:36 作者: Iatrogenic 時(shí)間: 2025-3-31 15:39
Ciphertext-Only Attack on Gentry-Halevi Implementation of Somewhat Homomorphic Scheme, attack from [2] using the NTL library and show that only dimensions up to 128 are feasible for common computational power. We propose also two improvements of this attack that enable us to use the fastest variant of LLL from NTL and compare the results.作者: hankering 時(shí)間: 2025-3-31 19:50 作者: 編輯才信任 時(shí)間: 2025-3-31 23:01
On WQO Property for Different Quasi Orderings of the Set of Permutations,e of efficient algorithms and also in certain cases to prove that a specific algorithm terminates..One of such sets of interest is the set of permutations. The fact that the set of permutations is not WQO has been rediscovered several times and a number of different permutation antichains have been 作者: Influx 時(shí)間: 2025-4-1 05:15 作者: 整潔漂亮 時(shí)間: 2025-4-1 09:12 作者: Obligatory 時(shí)間: 2025-4-1 14:06
Advantage of Quantum Strategies in Random Symmetric XOR Games,f players..We look at random instances of non-local games from this class. We prove a tight bound for the expected performance on the classical strategies for a random non-local game and provide numerical evidence that quantum strategies achieve better results.作者: 樹(shù)上結(jié)蜜糖 時(shí)間: 2025-4-1 17:11
Conference proceedings 2013with 6 invited papers. The topics covered by the papers include:computer-aided analysis and verification, applications of game theory in computer science, networks and security, modern trends of graph theory in computer science, electronic systems design and testing, and quantum information processing.作者: SIT 時(shí)間: 2025-4-1 21:53 作者: Alienated 時(shí)間: 2025-4-1 23:30
Fast Algorithm for Rank-Width,her algorithm that can decide if for a graph . and a value . exists a rank-decomposition of width lower than .. This enables to show that boolean-width is in fact lower than or equal to rank-width on many of the investigated graphs.
