Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • HU Berlin  (16)
  • Konferenzschrift  (16)
Type of Medium
Language
Region
Subjects(RVK)
Access
  • 1
    UID:
    almahu_9948177900502882
    Format: 194 p. ; , 20 x 27cm.
    ISBN: 9789264083554
    Series Statement: Radioactive Waste Management,
    Content: These workshop proceedings highlight the significant amount of work accomplished over the past decade in delivering transparent, proportionate regulation for geological disposal, and identify important differences between national regulations even if these are not in contradiction with international guidance. They also underline the importance of R&D carried out on behalf of the regulator. In addition to the contributed papers, these proceedings trace the numerous discussions that formed an integral part of the workshop. They constitute an important and unique documentary basis for researchers and radioactive waste management specialists. Themes addressed include duties to future generations, timescales for regulation, stepwise decision making, roles of optimisation and best available techniques (BAT), multiple lines of reasoning, safety and performance indicators, recognition of uncertainties and the importance of stakeholder interactions.
    Note: Main Findings: Lessons to be Learnt -- Human Actions -- List of Participants -- Introduction -- Fundamental Concepts and Evolution of International Guidance -- What Was Heard so Far: The View from Outside -- Establishing Regulatory Criteria that Account for the Inherent Difficulties Associated with the Long-times Frames for Protection -- Stocktaking and Closure of the Meeting -- Optimisation, BAT and Related Topics -- Regulatory Research and Development Activities -- Foreword -- Factual Summary of Papers, Presentations and Discussions.
    Language: English
    Keywords: Konferenzschrift ; Konferenzschrift ; Konferenzschrift ; Aufsatzsammlung
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 2
    UID:
    almahu_9948028271702882
    Format: XXIV, 371 p. 133 illus., 67 illus. in color. , online resource.
    ISBN: 9783030044978
    Series Statement: Lecture Notes in Artificial Intelligence ; 11289
    Content: The two-volume set LNAI 11288 and 11289 constitutes the proceedings of the 17th Mexican International Conference on Artificial Intelligence, MICAI 2018, held in Guadalajara, Mexico, in October 2018. The total of 62 papers presented in these two volumes was carefully reviewed and selected from 149 submissions. The contributions are organized in topical as follows: Part I: evolutionary and nature-inspired intelligence; machine learning; fuzzy logic and uncertainty management. Part II: knowledge representation, reasoning, and optimization; natural language processing; and robotics and computer vision.
    Note: Knowledge Representation, Reasoning, and Optimization -- Coding 3D connected regions with F26 chain code -- Finding optimal farming practices to increase crop yield through Global-best Harmony Search and predictive models, a data-driven approach -- On the Modelling of the Energy System of a Country for Decision Making Using Bayesian Artificial Intelligence { A case study for Mexico -- Natural Language Processing -- Enhancement of performance of document clustering in the authorship identification problem with a weighted cosine similarity -- Exploring the Context of Lexical Functions -- Towards a Natural Language Compiler -- Comparative analysis and implementation of semantic-based classifiers -- Best Paper award, second place: Topic-Focus Articulation: A Third Pillar of Automatic Evaluation of Text Coherence -- A Multilingual Study of Compressive Cross-Language Text Summarization -- WiSeBE: Window-based Sentence Boundary Evaluation -- Readability Formula for Russian Texts: a Modified Version -- Timed automaton RVT-grammar for workflow translating -- Extraction of Typical Client Requests from Bank Chat Logs -- A Knowledge-based Methodology for Building a Conversational Chatbot as an Intelligent Tutor -- Top-k Context-Aware Tour Recommendations for Groups -- A Knowledge-based Weighted kKNN for Detecting Irony in Twitter -- Model for Personality Detection based on Text Analysis -- Analysis of Emotions through Speech Using the Combination of Multiple Input Sources with Deep Convolutional and LSTM Networks -- Robustness of LSTM Neural Networks for the Enhancement of Spectral Parameters in Noisy Speech Signals -- Tensor Decomposition for Imagined Speech Discrimination in EEG -- Robotics and Computer Vision -- A new software library for mobile sensing using FIWARE technologies -- Free model task space controller based on adaptive gain for robot manipulator using Jacobian estimation -- Design and Equilibrium Control of a Force-Balanced One-Leg Mechanism -- An Adaptive Robotic Assistance Platform for Neurorehabilitation Therapy of Upper Limb -- ROBMMOR: An experimental robotic manipulator for motor rehabilitation of knee -- A Bio-inspired Cybersecurity Scheme to Protect a Swarm of Robots -- Chaos optimization applied to a beamforming algorithm for source location -- Data Augmentation in Deep Learning-based Obstacle Detection System for Autonomous Navigation on Aquatic Surfaces -- Best Paper award, third place: Combining Deep Learning and RGBD SLAM for Monocular Indoor Autonomous Flight.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783030044961
    Additional Edition: Printed edition: ISBN 9783030044985
    Language: English
    Keywords: Konferenzschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 3
    UID:
    almahu_9947364354002882
    Format: XII, 255 p. 133 illus. , online resource.
    ISBN: 9783642341762
    Series Statement: Lecture Notes in Computer Science, 7233
    Content: This book constitutes the thoroughly refereed post-conference proceedings of the 4th International Symposium on Applications of Graph Transformations, AGTIVE 2011, held in Budapest, Hungary, in October 2011. The 13 revised full papers presented together with 2 invited talks, 2 application reports, and 3 tool demonstration papers were carefully selected from 36 submissions during two rounds of reviewing and improvement. The papers are organized in topical sections on invited talk abstracts, model-driven engineering, graph transformation applications, tool demonstrations, graph transformation exploration techniques, graph transformation semantics and reasoning, application reports and bidirectional transformations.
    Note: Best Practices to Model Business Services in Complex IT Environments -- Drools: A Rule Engine for Complex Event Processing -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration -- A Graph Transformation-Based Semantics for Deep Metamodelling -- Reusable Graph Transformation Templates -- Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors -- AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation Judge -- Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations -- From Graph Transformation Units via MiniSat to GrGen.NET -- Locality in Reasoning about Graph Transformations -- Contextual Hyperedge Replacement -- The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management -- A Case Study Based Comparison of ATL and SDM -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations. Drools: A Rule Engine for Complex Event Processing -- Graph Transformation Concepts for Meta-model Evolution Guaranteeing Permanent Type Conformance throughout Model Migration -- A Graph Transformation-Based Semantics for Deep Metamodelling -- Reusable Graph Transformation Templates -- Towards an Automated 3D Reconstruction of Plant Architecture.- Generating Graph Transformation Rules from AML/GT State Machine Diagrams for Building Animated Model Editors -- AGG 2.0 – New Features for Specifying and Analyzing Algebraic Graph Transformations -- Integration of a Pattern-Based Layout Engine into Diagram Editors -- Tool Demonstration of the Transformation Judge -- Knowledge-Based Graph Exploration Analysis.- Graph Grammar Induction as a Parser-Controlled Heuristic Search Process.- Planning Self-adaption with Graph Transformations -- From Graph Transformation Units via MiniSat to GrGen.NET -- Locality in Reasoning about Graph Transformations -- Contextual Hyperedge Replacement -- The Added Value of Programmed Graph Transformations – A Case Study from Software Configuration Management -- A Case Study Based Comparison of ATL and SDM -- Applying Advanced TGG Concepts for a Complex Transformation of Sequence Diagram Specifications to Timed Game Automata -- Automatic Conformance Testing of Optimized Triple Graph Grammar Implementations.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783642341755
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift ; Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 4
    UID:
    almahu_9947363730202882
    Format: XXXIV, 877 p. 205 illus. , online resource.
    ISBN: 9783319088679
    Series Statement: Lecture Notes in Computer Science, 8559
    Content: This book constitutes the proceedings of the 26th International Conference on Computer Aided Verification, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 46 regular papers and 11 short papers presented in this volume were carefully reviewed and selected from a total of 175 regular and 54 short paper submissions. The contributions are organized in topical sections named: software verification; automata; model checking and testing; biology and hybrid systems; games and synthesis; concurrency; SMT and theorem proving; bounds and termination; and abstraction.
    Note: Software Verification -- The Spirit of Ghost Code -- SMT-Based Model Checking for Recursive Programs -- Property-Directed Shape Analysis -- Shape Analysis via Second-Order Bi-Abduction -- ICE: A Robust Framework for Learning Invariants -- From Invariant Checking to Invariant Inference Using Randomized Search -- SMACK: Decoupling Source Language Details from Verifier Implementations -- Security -- Synthesis of Masking Countermeasures against Side Channel Attacks -- Temporal Mode-Checking for Runtime Monitoring of Privacy Policies -- String Constraints for Verification -- A Conference Management System with Verified Document Confidentiality -- VAC - Verifier of Administrative Role-Based Access Control Policies -- Automata -- From LTL to Deterministic Automata: A Safraless Compositional Approach -- Symbolic Visibly Pushdown Automata -- Model Checking and Testing -- Engineering a Static Verification Tool for GPU Kernels -- Lazy Annotation Revisited -- Interpolating Property Directed Reachability -- Verifying Relative Error Bounds Using Symbolic Simulation -- Regression Test Selection for Distributed Software Histories -- GPU-Based Graph Decomposition into Strongly Connected and Maximal End Components -- Software Verification in the Google App-Engine Cloud -- The nuXmv Symbolic Model Checker -- Biology and Hybrid Systems Analyzing and Synthesizing Genomic Logic Functions -- Finding Instability in Biological Models -- Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells -- Diamonds Are a Girl’s Best Friend: Partial Order Reduction for Timed Automata with Abstractions -- Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections -- Verifying LTL Properties of Hybrid Systems with K-Liveness -- Games and Synthesis -- Safraless Synthesis for Epistemic Temporal Specifications -- Minimizing Running Costs in Consumption Systems -- CEGAR for Qualitative Analysis of Probabilistic Systems -- Optimal Guard Synthesis for Memory Safety -- Don’t Sit on the Fence: A Static Analysis Approach to Automatic Fence Insertion -- MCMAS-SLK: A Model Checker for the Verification of Strategy Logic Specifications -- Solving Games without Controllable Predecessor -- G4LTL-ST: Automatic Generation of PLC Programs -- Concurrency -- Automatic Atomicity Verification for Clients of Concurrent Data Structures -- Regression-Free Synthesis for Concurrency -- Bounded Model Checking of Multi-threaded C Programs via Lazy Sequentialization -- An SMT-Based Approach to Coverability Analysis -- LEAP: A Tool for the Parametrized Verification of Concurrent Datatypes -- SMT and Theorem Proving -- Monadic Decomposition -- A DPLL(T) Theory Solver for a Theory of Strings and Regular Expressions -- Bit-Vector Rewriting with Automatic Rule Generation -- A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors -- AVATAR: The Architecture for First-Order Theorem Provers -- Automating Separation Logic with Trees and Data -- A Nonlinear Real Arithmetic Fragment -- Yices 2.2 -- Bounds and Termination -- A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis -- Symbolic Resource Bound Inference for Functional Programs -- Proving Non-termination Using Max-SMT -- Termination Analysis by Learning Terminating Programs -- Causal Termination of Multi-threaded Programs -- Abstraction -- Counterexample to Induction-Guided Abstraction-Refinement (CTIGAR) -- Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction -- QUICr: A Reusable Library for Parametric Abstraction of Sets and Numbers.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783319088662
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 5
    UID:
    almahu_9949068974102882
    Format: 1 online resource (ix, 257 p.) : , ill., maps.
    Edition: 1st ed.
    ISBN: 9781849501873 (electronic bk.) :
    Series Statement: Contemporary studies in economic and financial analysis ; v. 85
    Content: The transformation of Ireland from one of the poorer countries in Western Europe to one of the best performing is one of the most remarkable economic success stories in recent times. The ten papers in this collection were presented at a conference at Lehigh University in March 2001. Written from a broad interdisciplinary perspective, the papers collectively discuss the recent evolution of the Irish economy and the factors responsible. They also analyze the problems that rapid growth has generated and the consequent domestic policy challenges in such areas as infrastructure, the environment, education, and social welfare.
    Note: Papers presented at a conference at Lehigh University, March 2001. , The Irish economy in transition / Vincent G. Munley, Robert J. Thornton -- Fiscal policy and the public finances : creative approaches to pension funding / John McHale -- Privatization of electricity and telecommunications in Ireland / Moore McDowell -- Has Ireland outgrown its clothes? Infrastructural and environmental constraints in Ireland / John Fitz Gerald -- Ireland in the 1990s : the problem of unbalanced regional development / Michael J. Keane -- Ireland's social safety net / Eithne Fitzgerald -- The celtic tiger : a view from the trenches of academia / Michael P. Mortell -- Foreign direct investment : the case of the electronics and pharmaceuticals industries / Joe Durkan -- The Irish economy : recent experience and prospects / Mark Cassidy -- Nurturing indigenous entrepreneurship in Ireland : the case of the it software sector / Connell Fanning, Ciaran Murphy -- Monetary and fiscal policy in EMU / Rodney Thom.
    Additional Edition: ISBN 9780762309795
    Language: English
    Subjects: Economics
    RVK:
    Keywords: Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 6
    UID:
    almahu_9947413583202882
    Format: 1 online resource (xii, 269 pages) : , digital, PDF file(s).
    ISBN: 9781846155383 (ebook)
    Content: Were the English and the Scots always at loggerheads in the fourteenth century? The essays here offer a more nuanced picture. Typical accounts of Anglo-Scottish relations over the whole fourteenth century tends to present a sustained period of bitter enmity, described routinely by stock-phrases such as 'endemic warfare', and typified by battles such as Bannockburn [1314], Neville's cross [1346] or Otterburn [1388], border-raiding and the capture of James I of Scotland by English pirates in 1406. However, as this collection shows, the situation was far more complex. Drawing together new perspectives from new and leading researchers, the essays investigate the great complexity of Anglo-Scottish tensions in this most momentous of centuries and in doing so often reveal a far more ambivalent and at times even a peaceful and productive Anglo-Scottish dynamic. The topics treated include military campaigns and ethos; the development of artillery; the leading 'Disinherited' Anglo-Scot, Edward Balliol; Scots in English allegiance and Border Society; religious patronage; Papal relations; the effect of dealings with Scotland on England's government and parliament; identity, ethnicity and otherness; and shared values and acculturation. Contributors: AMANDA BEAM, MICHAEL BROWN, DAVID CALDWELL, GWILYM DODD, ANTHONY GOODMAN, ANDY KING, SARAH LAYFIELD, IAIN MACINNES, RICHARD ORAM, MICHAEL PENMAN, ANDREA RUDDICK AND DAVID SIMPKIN.
    Note: Title from publisher's bibliographic system (viewed on 02 Oct 2015). , Introduction: Anglo-Scottish Relations in the Fourteenth Century -- An Overview of Recent Research / , The English Army and the Scottish Campaign of 1310-1311 / , 'Shock and Awe': The Use of Terror as a Psychological Weapon during the Bruce-Balliol Civil War, 1332-1338 / , The Scots and Guns / , Edward Balliol: A Re-evaluation of his Early Career, c.1282-1332 / , Scoti Anglicati: Scots in Plantagenet Allegiance during the Fourteenth Century / , Best of Enemies: Were the Fourteenth-Century Anglo-Scottish Marches a 'Frontier Society'? / , Dividing the Spoils: War, Schism and Religious Patronage on the Anglo-Scottish Border, c.1332-c.1400 / , The Pope, the Scots, and their 'Self-Styled' King: John XXII's Anglo-Scottish Policy, 1316-1334 / , Sovereignty, Diplomacy and Petitioning: Scotland and the English Parliament in the First Half of the Fourteenth Century / , National and Political Identity in Anglo-Scottish Relations, c.1286-1377: A Governmental Perspective / , Anglici caudati: abuse of the English in Fourteenth-Century Scottish Chronicles, Literature and Records / , Anglo-Scottish Relations in the Later Fourteenth Century: Alienation or Acculturation? /
    Additional Edition: Print version: ISBN 9781843833185
    Language: English
    Subjects: History
    RVK:
    Keywords: Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 7
    Online Resource
    Online Resource
    Cambridge :Cambridge University Press,
    UID:
    almahu_9947414884002882
    Format: 1 online resource (xiii, 332 pages) : , digital, PDF file(s).
    ISBN: 9780511760471 (ebook)
    Content: International commitments may sit uneasily with national pressures in the best of times. This age of economic uncertainty brings these tensions into sharper relief. This volume draws together thirteen analyses of this tension in a wide array of contexts, including each of the three main pillars of the World Trade Organization, international investment law and arbitration, and the international financial institutions. The essays feature internationally recognised experts addressing topical examples of international economic law obligations clashing with domestic political interests. For example, Professor Robert Howse, of New York University Law School, addresses issues of globalization and whether international and national interests can in today's world be considered separate, while Ko-Yung Tung, the former Director-General of the World Bank, looks at trends in investment treaty arbitration and considers what the future may hold in light of the recent financial crisis, the rise of China as an economic powerhouse, and other factors.
    Note: Title from publisher's bibliographic system (viewed on 05 Oct 2015). , The end of the globalization debate : continued / , Global economic institutions and the autonomy of development policy : a pluralist approach / , Fragmentation, openness and hegemony : adjudication and the WTO / , Demanding perfection : private food standards and the SPS Agreement / , Eroding national autonomy from the TRIPS Agreement / , The WTO and RTAs : a 'bottom-up' interpretation of RTAs' autonomy over WTO law / , 'Gambling' with sovereignty : complying with international obligations or upholding national autonomy / , Safety standards and indigenous products : what role for traditional knowledge? / , The GATS and temporary migration policy / , A different approach to the external trade requirement of GATT Article XXIV : assessing 'other regulations of commerce' in the context of EC enlargement and its heightened regulatory standards / , Foreign investors vs. sovereign states : towards a global framework, BIT by BIT / , How 'trade in service' transforms the regulation of temporary migration for remittances in poor countries / , Reconceptualising international investment law : bringing the public interest into private business /
    Additional Edition: Print version: ISBN 9780521114608
    Language: English
    Subjects: Law
    RVK:
    Keywords: Konferenzschrift
    URL: Volltext  (URL des Erstveröffentlichers)
    URL: Volltext  (lizenzpflichtig)
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 8
    UID:
    almahu_9947363043002882
    Format: VIII, 335 p. , online resource.
    ISBN: 9783034888295
    Series Statement: Progress in Probability ; 43
    Content: What is high dimensional probability? Under this broad name we collect topics with a common philosophy, where the idea of high dimension plays a key role, either in the problem or in the methods by which it is approached. Let us give a specific example that can be immediately understood, that of Gaussian processes. Roughly speaking, before 1970, the Gaussian processes that were studied were indexed by a subset of Euclidean space, mostly with dimension at most three. Assuming some regularity on the covariance, one tried to take advantage of the structure of the index set. Around 1970 it was understood, in particular by Dudley, Feldman, Gross, and Segal that a more abstract and intrinsic point of view was much more fruitful. The index set was no longer considered as a subset of Euclidean space, but simply as a metric space with the metric canonically induced by the process. This shift in perspective subsequently lead to a considerable clarification of many aspects of Gaussian process theory, and also to its applications in other settings.
    Note: Weak Convergence of the Row Sums of a Triangular Array of Empirical Processes -- Self-Normalized Large Deviations in Vector Spaces -- Consistency of M-Estimators and One-Sided Bracketing -- Small Deviation Probabilities of Sums of Independent Random Variables -- Strong Approximations to the Local Empirical Process -- On Random Measure Processes with Application to Smoothed Empirical Processes -- A Consequence for Random Polynomials of a Result of De La Peña and Montgomery-Smith -- Distinctions Between the Regular and Empirical Central Limit Theorems for Exchangeable Random Variables -- Laws of Large Numbers and Continuity of Processes -- Convergence in Law of Random Elements and Random Sets -- Asymptotics of Spectral Projections of Some Random Matrices Approximating Integral Operators -- A Short Proof of the Gaussian Isoperimetric Inequality -- Some Shift Inequalities for Gaussian Measures -- A Central Limit Theorem for the Sock-Sorting Problem -- Oscillations of Gaussian Stein’s Elements -- A Sufficient Condition for the Continuity of High Order Gaussian Chaos Processes -- On Wald’s Equation and First Exit Times for Randomly Stopped Processes with Independent Increments -- The Best Doob-type Bounds for the Maximum of Brownian Paths -- Optimal Tail Comparison Based on Comparison of Moments -- The Bootstrap of Empirical Processes for ?-Mixing Sequences.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783034897907
    Language: English
    Keywords: Konferenzschrift
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 9
    UID:
    almahu_9947364490802882
    Format: XV, 825 p. 102 illus. , online resource.
    ISBN: 9783642325892
    Series Statement: Lecture Notes in Computer Science, 7464
    Content: This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game theory, algorithmic learning theory, algorithms and data structures, automata, formal 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.
    Note: On the Complexity of Ontological Reasoning under Disjunctive -- Existential Rules -- New Races in Parameterized Algorithmics -- Scott Is Always Simple -- Simple Models for Recursive Schemes -- Unordered Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph of Outerplanar Graphs of Bounded Degree -- Reductions to the Set of Random Strings: The Resource-Bounded Case -- Approximate Graph Isomorphism -- Near-Optimal Expanding Generator Sets for Solvable Permutation Groups -- Generating Functions of Timed Languages -- The Robust Set Problem: Parameterized Complexity and Approximation -- Mortality for 2 × 2 Matrices Is NP-Hard -- Solving Counter Parity Games -- Drawing Planar Graphs on Points Inside a Polygon -- Smoothed Complexity Theory -- Abelian Pattern Avoidance in Partial Words -- The Complexity of Rerouting Shortest Paths -- Computing with Large Populations Using Interactions -- Pancake Flipping Is Hard -- In-place Heap Construction with Optimized Comparisons, Moves, and Cache -- A Dichotomy Theorem for Homomorphism -- On the Impact of Fair Best Response Dynamics -- When Trees Grow Low: Shrubs and Fast MSO1 -- Obtaining Planarity by Contracting Few  Kernels for Edge Dominating Set -- Quasi-recognizable vs MSO Definable Languages of One-Dimensional -- Reversal Hierarchies for Small -- The Lower Reaches of Circuit Weakly-Synchronized Ground Tree Rewriting -- Identity Testing, Multilinearity Testing, and Monomials in Read-Once/Twice Formulas and Branching Programs -- Asymmetric Swap-Equilibrium: A Unifying Equilibrium Concept for Network Creation Games -- Maximum Cliques in Graphs with Small Intersection Number and Random Intersection -- Regularity Problems for Weak Pushdown ω-Automata and Games -- Computational Aspects of Cellular Automata on Countable Sofic Shifts -- On Two Stronger Versions of Dejean’s Conjecture -- A Quadratic Vertex Kernel for Feedback Arc Set in Bipartite Tournaments.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783642325885
    Language: English
    Subjects: Computer Science
    RVK:
    RVK:
    RVK:
    Keywords: Konferenzschrift ; Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
  • 10
    UID:
    almahu_9947364098502882
    Format: XIX, 546 p. , online resource.
    ISBN: 9783540305361
    Series Statement: Lecture Notes in Computer Science, 3326
    Content: Last, but not least, thanks to all the participants and authors. We hope that they enjoyed the workshop as much as the wonderful and culturally vibrant city of Kolkata! Bhabani P. Sinha Indian Statistical Institute, Kolkata, India December 2004 Sajal K. Das University of Texas, Arlington, USA December 2004 Program Chairs’ Message On behalf of the Technical Program Committee of the 6th International Wo- shop on Distributed Computing, IWDC 2004, it was our great pleasure to w- come the attendees to Kolkata, India. Over the last few years, IWDC has emerged as an internationally renowned forum for interaction among researchers from academia and industries around the world. A clear indicator of this fact is the large number of high-quality submissions of technical papers received by the workshop this year. The workshop program consisted of 12 technical sessions with 54 contributed papers, two keynote addresses, four tutorials, a panel, a poster session and the Prof.A.K.ChoudhuryMemorialLecture.TheIWDCProgramCommittee,c- prising 38 distinguished members, worked hard to organize the technical p- gram. Following a rigorous review process, out of 157 submissions only 54 - pers were accepted for presentation in the technical sessions; 27 of the accepted papers were classi?ed as regular papers and the remaining 27 as short papers. Another 11 papers were accepted for presentation in the poster session, each with a one-page abstract appearing in the proceedings.
    Note: Keynote Talk I -- The Next Chapter in Networking Research: Evolutionary or Revolutionary? -- Session I A: Distributed Algorithms -- Performance of Fair Distributed Mutual Exclusion Algorithms -- A Framework for Automatic Identification of the Best Checkpoint and Recovery Protocol -- Distributed Computation for Swapping a Failing Edge -- Flexible Cycle Synchronized Algorithm in Parallel and Distributed Simulation -- Rule Mining for Dynamic Databases -- Session I B: High Performance Computing -- APPLE: A Novel P2P Based e-Learning Environment -- Heuristic-Based Scheduling to Maximize Throughput of Data-Intensive Grid Applications -- Failure Recovery in Grid Database Systems -- On Design of Cluster and Grid Computing Environment Toolkit for Bioinformatics Applications -- Study of Scheduling Strategies in a Dynamic Data Grid Environment -- Virtual Molecular Computing – Emulating DNA Molecules -- Session II A: Distributed Systems -- Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures -- A Multi-agent Framework Based on Communication and Concurrency -- Statistical Analysis of a P2P Query Graph Based on Degrees and Their Time-Evolution -- t-UNITY – A Formal Framework for Modeling and Reasoning About Timing Constraints in Real-Time Systems -- Finding Pareto-Optimal Set of Distributed Vectors with Minimum Disclosure -- Lean-DFS: A Distributed Filesystem for Resource Starved Clients -- Session II B: Wireless Networks -- A Fair Medium Access Protocol Using Adaptive Flow-Rate Control Through Cooperative Negotiation Among Contending Flows in Ad Hoc Wireless Network with Directional Antenna -- Analytical-Numerical Study of Mobile IPv6 and Hierarchical Mobile IPv6 -- An Adaptive Transmission Power Control Protocol for Mobile Ad Hoc Networks -- A Macro-Mobility Scheme for Reduction in Handover Delay and Signaling Traffic in MIPv6 -- QoS Support in TLMM: Three Level Mobility Model for IP-Based Networks -- Path Stability Based Adaptation of MANET Routing Protocols -- A. K. Choudhury Memorial Lecture -- Computational Biology – The New Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree Quantization” Watermarking Scheme -- A Multisignature Scheme for Implementing Safe Delivery Rule in Group Communication Systems -- Agent-Based Distributed Intrusion Alert System -- SCIDS: A Soft Computing Intrusion Detection System -- Effect of Data Encryption on Wireless Ad Hoc Network Performance -- Session III B: Network Protocols -- On-Board RSVP: An Extension of RSVP to Support Real-Time Services in On-Board IP Networks -- A Secure PIM-SM Multicast Routing Protocol -- Restoration of Virtual Private Networks with QoS Guarantees in the Pipe Model -- A User Level, Reliable, and Reconfigurable Transport Layer Protocol -- Keynote Talk II -- The Notion of Veto Number for Distributed Agreement Problems -- Session IV A: Reliability and Testing -- Reliability of VLSI Linear Arrays with Redundant Links -- A Technique to Ensure Reliability in a WDM Optical Backbone Network with Contemporary Link Failures -- Formal Proof of Impossibility of Reliability in Crashing Protocols -- Altera Max Plus II Development Environment in Fault Simulation and Test Implementation of Embedded -- Session IV B: Networks: Topology and Routing -- A Distributed Contention Resolution Scheme to Reduce Blocking Probability in Optical Burst Switching Networks -- Polynomial Interpolation on OTIS-Mesh Optoelectronic Computers -- A New Network Topology with Multiple Three-Dimensional Meshes -- Adaptive Fault Tolerant Routing in Star Graph -- Routing and Wavelength Assignment in Wavelength Division Multiplexing Networks -- Session V: Mobile Computing I -- Designing the MDVM-Stub and Memory Estimator -- Improved Algorithm for Minimum Cost Range Assignment Problem for Linear Radio Networks -- Optimal Schemes for Channel Assignment Problem in Wireless Networks Modeled as 2-Dimensional Square Grids -- Session VI: Ad Hoc Networks -- Mobility Tolerant Broadcast in Mobile Ad Hoc Networks -- Distributed Mobility Tracking for Ad Hoc Networks Based on an Autoregressive Model -- Broadcast and Gossiping Algorithms for Mobile Ad Hoc Networks Based on Breadth-First Traversal -- RINGS: Lookup Service for Peer-to-Peer Systems in Mobile Ad-Hoc Networks -- Session VII: Mobile Computing II -- Performance Analysis of Location Caching with Fixed Local Anchor in Wireless Networks -- On the Optimization Trade-Offs of Expanding Ring Search -- Dynamic Location Management with Personalized Location Area for Future PCS Networks -- Improvement of Paging Cost by Updating Using Paging Delay Divergence -- Session VIII: Sensor Networks -- Distributed Power Control in Sensor Networks: A Game Theoretic Approach -- A K-Connected Energy-Saving Topology Control Algorithm for Wireless Sensor Networks -- Locating Objects in a Sensor Grid -- Poster Presentations -- A Novel Remote User Authentication Scheme Through Dynamic Login Identity -- A Probabilistic Admission Control Algorithm in Wireless/Mobile Cellular Networks -- A Rough Neuro Data Mining Approach for Network Intrusion Detection -- An Efficient Implementation of Distance-Based Update Scheme Using Directional Cell Identification Codes -- Application of Formal Methods for Analysis of Authentication Protocols -- BUSTRAP – An Efficient Travel Planner for Metropolitans -- Distributed Evolutionary Algorithm Search for Multiobjective Spanning Tree Problem -- MSIP: A Protocol for Efficient Handoffs of Real Time Multimedia Sessions in Mobile Wireless Scenarios -- Network Management System Using Web Server Controlled Mobile Agents -- Security Scheme for Malicious Node Detection in Mobile Ad Hoc Networks -- High-Level Grid Execution Patterns.
    In: Springer eBooks
    Additional Edition: Printed edition: ISBN 9783540240761
    Language: English
    Subjects: Computer Science
    RVK:
    Keywords: Konferenzschrift
    URL: Volltext  (lizenzpflichtig)
    URL: Cover
    Library Location Call Number Volume/Issue/Year Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. Further information can be found on the KOBV privacy pages