Selected characteristic values of imposed loads, reliability elements (partial and reduction factors) and alternative load combinations recommended in the NationalAnnexes to Eurocodes of various European countries, ar...
详细信息
ISBN:
(纸本)9781315374987;9781138029972
Selected characteristic values of imposed loads, reliability elements (partial and reduction factors) and alternative load combinations recommended in the NationalAnnexes to Eurocodes of various European countries, are analysed using probability-based reliability methods. Presented reliability analyses of structural members indicate that reliability level of some members might be in some cases lower than the required target reliability level and should be further calibrated.
Considerable research effort has been devoted to the study of Policy in the domain of Information Security Management (ISM). However, our review of ISM literature identified four key deficiencies that reduce the utili...
详细信息
Solar cell technology has become an important solution to the global energy crisis. Usually, the current-voltage characteristic is measured to illustrate the performance of solar cells. However, since the fabrication ...
详细信息
ISBN:
(纸本)9781315374987;9781138029972
Solar cell technology has become an important solution to the global energy crisis. Usually, the current-voltage characteristic is measured to illustrate the performance of solar cells. However, since the fabrication process of solar cells is complicated, the individual variation among solar cells is obvious. the individual variation makes modeling the current-voltage curves a challenging task. this paper aims to model the current-voltage curves of solar cells by a Bayesian approach based on a linear mixed-effect model. the performance of the proposed approach is illustrated by a case study.
the proceedings contain 25 papers. the topics discussed include: front matter, table of contents, preface, conference organization;theory meets practice in the Algorand blockchain;recoverable computing;realistic self-...
ISBN:
(纸本)9783959772655
the proceedings contain 25 papers. the topics discussed include: front matter, table of contents, preface, conference organization;theory meets practice in the Algorand blockchain;recoverable computing;realistic self-stabilization;efficient wait-free queue algorithms with multiple enqueuers and multiple dequeuers;EEMARQ: efficient lock-free range queries with memory reclamation;the step complexity of multidimensional approximate agreement;robust and fast blockchain state synchronization;a privacy-preserving and transparent certification system for digital credentials;when is spring coming? a security analysis of avalanche consensus;and computational power of a single oblivious mobile agent in two-edge-connected graphs.
Propositional Satisfiability (SAT) is a keystone in the history of computer science. SAT was the first problem shown to be NP-complete in 1971 by Stephen Cook [4]. Having passed more than 40 years from then, SAT is no...
详细信息
SOFSEM 2001, the International conference on currenttrends in theory and practice of informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. this was the 28th annu...
详细信息
ISBN:
(数字)9783540456278
ISBN:
(纸本)9783540429128
SOFSEM 2001, the International conference on currenttrends in theory and practice of informatics, was held on November 24 – December 1, 2001 in the ? well-known spa Pie?stany, Slovak Republic. this was the 28th annual conference in the SOFSEM series organized either in the Slovak or the Czech Republic. SOFSEM has a well-established tradition. currently it is a broad, multid- ciplinary conference, devoted to the theory and practice of software systems. Its aim is to foster cooperation among professionals from academia and industry working in various areas of informatics. the scienti?c program of SOFSEM consists of invited talks, which determine the topics of the conference, and short contributed talks presenting original - sults. the topics of the invited talks are chosen so as to cover the whole range from theory to practice and to bring interesting research areas to the attention of conference participants. For the year 2001, the following three directions were chosen for presentation by the SOFSEM Steering Committee: – trends in informatics – Enabling Technologies for Global Computing – Practical Systems Engineering and Applications the above directions were covered through 12 invited talks presented by pro- nent researchers. there were 18 contributed talks, selected by the international Program Committee from among 46 submitted papers. the conference was also accompanied by workshops on Electronic Commerce Systems (coordinated by H. D. Zimmermann) and Soft Computing (coordinated by P. H´ajek).
the cutwidth problem is to find a linear layout of a network so that the maximal number of cuts (cw) of a line separating consecutive vertices is minimized. A related and more natural problem is the cyclic cutwidth (c...
详细信息
the proceedings contain 38 papers. the topics discussed include: sharing distributed knowledge on the web;connecting complexity classes, weak formal theories, and propositional proof systems;satisfiability: where theo...
ISBN:
(纸本)9783939897422
the proceedings contain 38 papers. the topics discussed include: sharing distributed knowledge on the web;connecting complexity classes, weak formal theories, and propositional proof systems;satisfiability: where theory meets practice;definability and complexity of graph parameters;a syntactical approach to weak omega-groupoids;interactive realizability for classical peano arithmetic with skolem axioms;relational parametricity for higher kinds;higher-order interpretations and program complexity;knowledge spaces and the completeness of learning strategies;a concurrent logical relation;equivalence constraint satisfaction problems;a negative conjunctive query is easy if and only if it is beta-acyclic;on the equational consistency of order-theoretic models of lambda calculus;faster algorithms for alternating refinement relations;and a systematic approach to canonicity in the classical sequent calculus.
the proceedings contain 35 papers. the topics discussed include: automatic application deployment in the cloud: from practice to theory and back;notions of conformance testing for cyber-physical systems: overview and ...
ISBN:
(纸本)9783939897910
the proceedings contain 35 papers. the topics discussed include: automatic application deployment in the cloud: from practice to theory and back;notions of conformance testing for cyber-physical systems: overview and roadmap;behavioural equivalences for cooperating transactions;applications of automata and concurrency theory in networks;distributed local strategies in broadcast networks;a framework for transactional consistency models with atomic visibility;safety of parametrized asynchronous shared-memory systems is almost always decidable;on the succinctness of idioms for concurrent programming;reactive synthesis without regret;synthesis of bounded choice-free Petri nets;polynomial time decidability of weighted synchronization under partial observability;SOS specifications of probabilistic systems by uniformly continuous operators;and dynamic Bayesian networks as formal abstractions of structured stochastic processes.
this book constitutes the refereed proceedings of the 24th Seminar on currenttrends in theory and practice of informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a...
详细信息
ISBN:
(数字)9783540696452
ISBN:
(纸本)9783540637745
this book constitutes the refereed proceedings of the 24th Seminar on currenttrends in theory and practice of informatics, SOFSEM'97, held in Milovy, Czech Republic, in November 1997. SOFSEM is special in being a mix of a winter school, an international conference, and an advanced workshop meeting the demand for ongoing education in the area of computer science. the volume presents 22 invited contributions by leading experts together with 24 revised contributed papers selected from 63 submissions. the invited presentations are organized in topical sections on foundations, distributed and parallel computing, software engineering and methodology, and databases and information systems.
暂无评论