الصفحة 5
الصفحة 5
Information security and cryptology ; Vol. 4318 ; 2nd SKLOIS Conference, Inscrypt 2006, Beijing, China, November 29 - December 1, 2006, Proceedings
The second SKLOIS Conference on Information Security and Cryptology 2006 (Inscrypt, formerly CISC) was organized by the State Key Laboratory of Inf- mation Security of the Chinese Academy of Sciences. This international conf- ence was held in Beijing, China and was sponsored by the Institute of Software, the Chinese Academy of Sciences, the Graduate University of Chinese Academy of Sciences and the National Natural Science Foundations of China. The c- ference proceedings, with contributed papers, are published by Springer in this volume of Lecture Notes in Computer Science (LNCS).
Information Security ; 11th International Conference, ISC 2008, Taipei, Taiwan, September 15-18, 2008. Proceedings
This book constitutes the refereed proceedings of the 11th International Conference on Information Security Conference, ISC 2008, held in Taipei, Taiwan, September 15-18, 2008.The 33 revised full papers presented were carefully reviewed and selected from 134 submissions. The papers are organized in topical sections on trusted computing, database and system security, intrusion detection, network security, cryptanalysis, digital signatures, AES, symmetric cryptography and hash functions, authentication as well as security protocols.
Information Security ; 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007, Proceedings
The 10th Information Security Conference (ISC 2007) was held in Valpara´ ?so, Chile, October 9–12, 2007. ISC is an annual international conference covering research in theory and applications of information security, aiming to attract high quality papers in all of its technical aspects.
Information and knowledge : A constructive type-theoretical approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of Constructive Type Theory (CTT), in a manner concurrent with a diverse range of contemporary perspectives on the philosophy of information. On the basis of this conceptual framework, the problem of analyticity for logical derivations is faced and a solution is proposed.The text begins with a presentation of the formal structure of CTT, paying particular attention to some topics that have been neglected by current researchers in Type Theory. Information and Knowledge presents a new interesting perspective on the constructive interpretation of knowledge processes, suggesting the reliability of such an approach for the logical modeling of epistemic problems and proposing a unifying frame from one of the more important contemporary philosophical perspectives.
Information and its role in nature
Infromation and Its Role in Nature presents an in-depth interdisciplinary discussion of the concept of information and its role in the control of natural processes. After a brief review of classical and quantum information theory, the author addresses numerous central questions, including: Is information reducible to the laws of physics and chemistry? Does the Universe, in its evolution, constantly generate new information? Or are information and information-processing exclusive attributes of living systems, related to the very definition of life? If so, what is the role of information in classical and quantum physics? In what ways does information-processing in the human brain bring about self-consciousness? Accessible to graduate students and professionals from all scientific disciplines, this stimulating book will help to shed light on many controversial issues at the heart of modern science.
Information and communication technologies and real-life learning : New education for the knowledge society
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Information — Consciousness — Reality : How a New Understanding of the Universe Can Help Answer Age-Old Questions of Existence
This book chronicles the rise of a new scientific paradigm offering novel insights into the age-old enigmas of existence. It is explores a radical paradigm shift uncovering the ontology of reality. It is found to be information-theoretic and participatory, yielding a computational and programmable universe.
Industrial applications of semantic web ; Proceedings of the 1st International IFIP/WG12.5 Working Conference on Industrial Applications of Semantic Web, August 25-27, 2005 Jyvaskyla, Finland
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Implementation and Applications of Automata ; 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings
This book constitutes the thoroughly refereed post-proceedings of the 13th International Conference on Implementation and Application of Automata, CIAA 2008, held in San Francisco, USA, in July 2008.The 26 revised full papers togehter with 4 invited papers were carefully reviewed and selected from 40 submissions and have gone through two rounds of reviewing and improvement. The papers cover various topics in the theory, implementation, and applications of automata and related structures.
Il cielo sopra Roma : I luoghi dell’astronomia = The sky above Rome : The places of astronomy
Astronomy in Rome has always been there, but a little hidden: it was in the palaces, in the churches or, better, above the churches, speculas scattered along a path that few know by now. Intrigued and frightened, the Romans witnessed the burning of Giordano Bruno in a familiar corner of Campo de 'Fiori, but they probably didn't quite understand what guilt he was accused of. They certainly did not think that he was a philosopher and a scientist who had tried to imagine what the world was like.
ICE Specification for piling and embedded retaining walls ; 2nd ed.
The new ICE Specification for Piling and Embedded Retaining Walls is designed to be used as the new technical specification for piling and embedded walling works either on land or near to shore. It documents the latest piling techniques and procurement methods used in the foundations sector whilst incorporating the changes introduced by the new European Standards.
Humanistic foundation of criminal law
Uses humanity-rationality and experience and the freedom of human will as a theoretical perspective to examine the basic framework of criminal law theories constructed by the criminal classic school and the criminal empirical school. The author puts forward the principle of the duality of rationality and experience of humanity and affirms the determinism of human behavior in the ontological sense and the freedom of will in the axiological sense. From this point of view, this book examines the humanistic foundations of crime and punishment, legislation and justice.
Human-computer interaction Symposium ; IFIP 20th World Computer Congress, Proceedings of the 1st TC 13 Human-Computer Interaction Symposium (HCIS 2008), September 7-10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured.
Human work interaction design : Designing for human work ; The 1st IFIP TC 13.6 WG Conference: Designing for Human Work, February 13-15, 2006, Madeira, Portugal
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Homo Oeconomicus : The Economic Model of Behaviour and Its Applications in Economics and Other Social Sciences
The economic model of behaviour is fundamental not only in economic theory, but also in modern approaches of other social sciences, above all in political science and law. This book provides a comprehensive treatise of the general model, its philosophical and methodological foundations and its applications in different fields. In addition to the basic model, extensions to its assumptions are examined to account for complex applications like low-cost situations with moral behaviour. Finally, the book takes a broader perspective by evaluating the impact of the model on economic policy and on the development of the field of social science as a whole, such as the competition between individualistic and collectivist approaches.
Home-oriented informatics and telematics ; Proceedings of the IFIP WG 9.3 HOIT2005 Conference
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
Home Networking ; 1st IFIP WG 6.2 Home Networking Conference (IHN’2007), Paris, France, December 10–12, 2007
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured.
History of Nordic computing ; IFIP WG9.7 ; 1st Working conference on the history of Nordic computing (HiNC1), June 16-18, 2003, Trondheim, Norway
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
History of Computing and Education 3 (Hce3) ; IFIP 20th World Computer Congress, Proceedings of the Third IFIP Conference on the History of Computing and Education WG 9.7/TC9, History of Computing, September 7–10, 2008, Milano, Italy
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of refereed international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research.
History of computing and education 2 (HCE2) ; IFIP 19th World Computer Congress, WG 9.7, TC 9: History of computing, Proceedings of the 2nd Conference on the history of computing and education, August 21-24, Santiago, Chile
International Federation for Information Processing The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The scope of the series includes: foundations of computer science; software theory and practice; education; computer applications in technology; communication systems; systems modeling and optimization; information systems; computers and society; computer systems technology; security and protection in information processing systems; artificial intelligence; and human-computer interaction. Proceedings and post-proceedings of referred international conferences in computer science and interdisciplinary fields are featured. These results often precede journal publication and represent the most current research. The principal aim of the IFIP series is to encourage education and the dissemination and exchange of information about all aspects of computing.
