الصفحة 3
الصفحة 3
Handbook of biomedical image analysis ; Vol.2 : Segmentation models ; Part B
Handbook of Biomedical Image Analysis: Segmentation Models (Volume II) is dedicated to the segmentation of complex shapes from the field of imaging sciences using different mathematicaltechniques. This volume is aimed at researchers and educators in imaging sciences, radiological imaging, clinical and diagnostic imaging, physicists covering different medical imaging modalities, as well as researchers in biomedical engineering, applied mathematics, algorithmic development, computer vision, signal processing, computer graphics and multimedia in general, both in academia and industry.
Handbook of biomedical image analysis : Vol.3: Registration models
Handbook of Biomedical Image Analysis: Registration Models (Volume III) is dedicated to the algorithms for registration of medical images and volumes. This volume is aimed at researchers and educators in imaging sciences, radiological imaging, clinical and diagnostic imaging, biomedical engineering, physicists covering different medical imaging modalities and researchers in applied mathematics, algorithmic development, computer vision, signal processing, computer graphics and multimedia in general, both in academia and industry.
Handbook of biomedical image analysis : Vol.1 : Segmentation bodels ; Part A
Handbook of Biomedical Image Analysis: Segmentation Models (Volume I) is dedicated to the segmentation of complex shapes from the field of imaging sciences using different mathematical techniques. This volume is aimed at researchers and educators in imaging sciences, radiological imaging, clinical and diagnostic imaging, physicists covering different medical imaging modalities, as well as researchers in biomedical engineering, applied mathematics, algorithmic development, computer vision, signal processing, computer graphics and multimedia in general, both in academia and industry .
GPCRs : From Deorphanization to Lead Structure Identification
The book highlights the following topics: Structure of GPCRs, Design of GPCR Ligands, GPCR Signalling, Deorphanization and Assay Development. All chapters are written by leading experts in the field, discussing the most recent state of the art. They give insight into the approaches taken by industry and academia to address GPCRs and depict how mature this target class-oriented research has become in the last decade. The book reflects the actual trends in the fast-emerging field of GPCR research in academia and industry.
Gas Adsorption Equilibria : Experimental Methods and Adsorptive Isotherms
This book is intended to present for the first time experimental methods to measure equilibria states of pure and mixed gases being adsorbed on the surface of solid materials. It has been written for engineers and scientists from industry and academia who are interested in adsorption-based gas separation processes and/or in using gas adsorption for characterization of the porosity of solid materials.Special emphasis is given to uncertainties of data and pros and cons of all measurement methods are offered.
Fuzzy Logic and Applications ; Vol. 3849 ; 6th International Workshop, WILF 2005, Crema, Italy, September 15-17, 2005, Revised Selected Papers
This volume contains the proceedings of the 6th International Workshop on Soft Computing and Applications (WILF 2005), which took place in Crema, Italy, on September 15–17, 2005, continuing an established tradition of biannual meetings among researchers and developers from both academia and industry to report on the latest scienti?c and theoretical advances, to discuss and debate major issues, and to demonstrate state-of-the-art systems. This edition of the workshop included two special sessions, sort of subwo- shops, focusing on the application of soft computing techniques (or compu- tional intelligence) to image processing (SCIP) and bioinformatics (CIBB).
Frontiers in Hardware Security and Trust : Theory, design and practice
The footprint and power constraints imposed on internet-of-things end-points, smart sensors, mobile and ad hoc network devices make traditional and software based cryptographic solutions that require a general-purpose processor increasingly unfeasible. The fact that security is not the primary functionality of these devices means that only a small portion of their limited processing power and storage is available for security, driving the need for alternative security solutions. Hardware security - including hardware obfuscation, hardware security primitives, side-channel attacks and so on - is therefore becoming an increasingly active research area in both academia and industry.
From research to market : A comprehensive guide
A vital resource for anyone involved in the journey from academia to commercialization. It outlines the main stages and key milestones of technology transfer in a clear and engaging manner, featuring real-world examples of successful university research outcomes. Analyse the circumstances behind their success and learn the essential steps for a successful technology transfer process. Designed as a go-to reference for researchers, doctoral and master's students, scientific entrepreneurs, and academics focused on innovation and entrepreneurship, this book is also invaluable for technology managers at universities, research centres, and public agencies. Enhance your understanding of technology transfer and gain practical knowledge to navigate this complex field successfully.
From brows to trust : Evaluating embodied conversational agents
This book will help experts and designers in the specification and development of applications incorporating ECAs. Part 1 provides guidelines for evaluation methodologies and the identification of design and evaluation parameters. Part 2 demonstrates the importance of considering the user's perspective and interaction experience. Part 3 addresses issues in fine-tuning design parameters of ECAs and verifying the perceived effect. Finally, in Part 4 lessons learned from a number of application case studies are presented. The book is intended for both ECA researchers in academia and industry, and developers and designers interested in applying the technology.
Foundations in microeconomic theory : A volume in honor of Hugo F. Sonnenschein
What a wonderful occasion it is to be celebrating 65 years of Hugo Sonnenschein! Given his many contributions to economic research and academia more broadly, there is much to celebrate. This volume, presented to Hugo at a confer ence in his honor at the University of Chicago in October 2005, highlights one of his deepest contributions. It is perhaps the hardest to detect from reading his bios and vita; but something that he is famous for among economists in general and economic theorists in particular. It is his incredible record as a mentor and advisor of students. In putting this volume together, we have collected papers from Hugo's students with the aim of demonstrating his tremendous impact as an advisor. The papers span decades, with the earliest coming from his advisees in the first years of his career and the most recent coming in the last two years after his return to research and advising that followed his adventures as a university administrator.
Formal Methods and Software Engineering ; Vol. 3785 ; 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 November 2005, Manchester, UK. Formal engineering methods are changing the way that systems are dev- oped. With language and tool support, these methods are being used for se- automatic code generation, and for the automatic abstraction and checking of implementations. In the future, they will be used at every stage of development: requirements, speci?cation, design, implementation, testing, anddocumentation. The aim of ICFEM 2005 was to bring together those interested in the - plication of formal engineering methods to computer systems. Researchers and practitioners, from industry, academia, and government, were encouraged to - tend, and to help advance the state of the art. The conference was supported by sponsorships from Microsoft Research, USA, the Software Engineers Association of Japan, the University of Man- ester, Manchester City Council, FormalMethods Europe (FME) and the British Computer Society FormalAspects ofComputing Specialist Group(BCS-FACS). We wish to thank these sponsors for their generosity. The ?nal programme consisted of 3 invited talks and 30 technical papers selected from a total of 74 submissions. The invited speakers were: Anthony Hall, independent consultant, UK; Egon B] orger, University of Pisa, Italy; John Rushby, SRI, USA. Their talks were sponsored by BCS-FACS, Microsoft - search and FME respectively. We wish to thank the invited speakers for their inspiring talks.
Formal approaches to software testing and runtime verification ; 1st Combined International Workshops FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
Software validation is one of the most cost-intensive tasks in modern software production processes. The objective of FATES/RV 2006 was to bring sci- tists from both academia and industry together to discuss formal approaches to test and analyze programs and monitor and guide their executions. Formal approaches to test may cover techniques from areas like theorem proving, model checking, constraint resolution, static program analysis, abstract interpretation, Markov chains, and various others. Formal approaches to runtime veri?cation use formal techniques to improve traditional ad-hoc monitoring techniques used in testing, debugging, performance monitoring, fault protection, etc.
FM 2005: Formal Methods ; International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, during July 18–22, 2005. Formal Methods Europe (FME, www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for system development. FME conferences began with a VDM Europe symposium in 1987. Since then, the meetings have grown and have been held about once every 18 months. Throughout the years the symposia have been notablysuccessfulinbringingtogetherresearchers,tooldevelopers,vendors,and users, both from academia and from industry. Formal Methods 2005 con?rms this success. We received 130 submissions to the main conference, from all over the world. Each submission was carefully refereed by at least three reviewers. Then, after an intensive, in-depth discussion, the Program Committee selected 31 papers for presentation at the conference. They form the bulk of this volume.
Fine- and Coarse-Grain Reconfigurable Computing
The FPGA technology is defined, which includes architecture, logic block structure, interconnect, and configuration methods and existing fine-grain reconfigurable architectures emerged from both academia and industry. Additionally, the implementation techniques and CAD tools developed to facilitate the implementation of a system in reconfigurable hardware by the industry and academia are provided.
Evaluating Climate Change Action for Sustainable Development
The following sections focus on evaluation of climate change projects and policies as they link to development, from the perspective of international organisations, NGO’s, multilateral and bilateral aid agencies, and academia. The authors share methodologies or approaches used to better understand problems and assess interventions, strategies and policies. They also share challenges encountered, what was done to solve these and lessons learned from evaluations. Collectively, the authors illustrate the importance of evaluation in providing evidence to guide policy change to informed decision-making.
E-Training Practices for Professional Organizations
E-Training Practices for Professional Organizations is an essential reference for anyone interested in the integration of e-business, e-work and e-learning processes. The book collects, for the first time, the proceedings from the 2003 IFIP eTrain Conference held in Pori, Finland. The text serves as a multi-disciplinary resource for information on the research, development and applications of all topics related to e-Learning. The first half of the book discusses theories, paradigms and their applications in academia and industry. The last half of the book examines learning environments, design issues and collaboration among the corporate, governmental and academic sectors. With academic and professional contributors, E-Training Practices for Professional Organizations reflects the multi-faceted and exciting nature of e-training studies. This volume presents the balanced view of past developments and current research necessary to truly reach the potential of this burgeoning field.
Entrepreneurial Orientation in Academia
In addition to research and education, today’s role of acadamia in the United States also includes the creation of wealth for society. Universities are active in fostering innovation and transferring technology. However, it should be noted that some universities act more as entrepreneurs than others and are more successful in selling licenses and spinning off companies. Based on the concept of entrepreneurial orientation, Jan Boehm elaborates on the relationship between dimensions of entrepreneurial orientation – such as autonomy, innovativeness, proactiveness, competitiveness, risk-taking, and interdisciplinarity – and technology transfer performance of U.S. universities. Using variance-based multivariate analysis and a survey of principal investigators, the author concludes that entrepreneurial orientation within research organizations has a positive impact on technology transfer.
Entertainment computing - ICEC 2006 ; 5th International Conference, Cambridge, UK, September 20-22, 2006, Proceeding
ICEC 2006 attracted 47 full paper submissions, 48 short paper submissions in total 95 technical papers. Based on a thorough review and selection process by 85 international experts from academia and industry as members of the Program Committee, a high-quality program was compiled. The International Program Committee consisted of experts from all over the world As a result, 17 full papers and 17 short papers were accepted as submitted or with minor revisions. For the remaining submissions, 28 were recommended to change according to the reviews and were submitted as posters. This proceedings volume presents 62 technical contributions which are from many different countries.
Entertainment Computing - ICEC 2005 ; 4th International Conference, Sanda, Japan, September 19-21, 2005, Proceedings
First of all, we appreciate the hard work of all the authors who contributed to ICEC 2005 by submitting their papers. ICEC 2005 attracted 95 technical paper submissions, 8 poster submissions and 7 demo submissions, in total 110. This number is nearly equal to ICEC 2004. Based on a thorough review and selection process carried out by 76 international experts from academia and industry as members of the senior and international program committees, a high-quality program was compiled. The program committee consisted of experts from all over the world: 1 from Austria, 3 from Bulgaria, 2 from Canada, 4 from China, 1 from Finland, 4 from France, 10 from Germany, 1 from Greece, 1 from Ireland, 1 from Israel, 1 from Italy, 26 from Japan, 1 from Korea, 4 from The Netherlands, 1 from New Zealand, 1 from Norway, 1 from Singapore, 1 from Thailand, 4 from the UK, and 8 from the USA. In this number, reviewers are included. The final decision was made at the senior program committee meeting based on three reviewers' feedback, available online via the conference management tool. Through earnest and fair discussion at the meeting, 25 technical papers were accepted as long papers and 32 technical papers were accepted as short papers from 95 submitted technical papers. Moreover, 3 poster papers and 5 demo papers were accepted.
Engineered Bamboo Structures
Bamboo is in the spotlight as a potential building material in the current pursuit of a CO2-neutral society, due to its rapid maturation and excellent mechanical properties. Despite the growing interest in bamboo in academia and society, there is a lack of systematic understanding of the fabrication, design and construction processes using bamboo as a modern industrial material. Describes a new category of structural systems constructed with engineered bamboo. It gives a definition of engineered bamboo (glubam) in an analogy with steel structures and wood structures. Structural systems and components have been designed using glubam; then industrialized production processes of glubam are described.
