Gotowe bibliografie tematyczne / HyperCell

Spis treści

Artykuły w czasopismach
Rozprawy doktorskie
Książki
Części książek
Streszczenia konferencji

Gotowa bibliografia na temat „HyperCell”

Autor: Grafiati

Data publikacji: 6 września 2023

Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych

Wybierz rodzaj źródła:

Zobacz listy aktualnych artykułów, książek, rozpraw, streszczeń i innych źródeł naukowych na temat „HyperCell”.

Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.

Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.

Artykuły w czasopismach na temat "HyperCell"

Learmonth, RP. "Hypercell". Biochemical Education 22, nr 2 (kwiecień 1994): 97–99. http://dx.doi.org/10.1016/0307-4412(94)90094-9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams, R. A. D. "HyperCell 1996". Trends in Biochemical Sciences 22, nr 4 (kwiecień 1997): 141. http://dx.doi.org/10.1016/s0968-0004(97)84079-0.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Gleiser, P. M., i F. A. Tamarit. "Dynamical properties of the hypercell spin-glass model". Physical Review E 57, nr 2 (1.02.1998): 1410–15. http://dx.doi.org/10.1103/physreve.57.1410.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Sansom, Clare. "HyperCELL 1996 — CD-ROM for MacIntosh and Windows". Biochemical Education 25, nr 2 (kwiecień 1997): 100. http://dx.doi.org/10.1016/s0307-4412(97)88292-1.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Liu, Zongyuan, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov i Lars Birkedal. "VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A". Proceedings of the ACM on Programming Languages 7, PLDI (6.06.2023): 1438–62. http://dx.doi.org/10.1145/3591279.

Pełny tekst źródła

Streszczenie:

Thin hypervisors make it possible to isolate key security components like keychains, fingerprint readers, and digital wallets from the easily-compromised operating system. To work together, virtual machines running on top of the hypervisor can make hypercalls to the hypervisor to share pages between each other in a controlled way. However, the design of such hypercall ABIs remains a delicate balancing task between conflicting needs for expressivity, performance, and security. In particular, it raises the question of what makes the specification of a hypervisor, and of its hypercall ABIs, good enough for the virtual machines. In this paper, we validate the expressivity and security of the design of the hypercall ABIs of Arm's FF-A. We formalise a substantial fragment of FF-A as a machine with a simplified ISA in which hypercalls are steps of the machine. We then develop VMSL, a novel separation logic, which we prove sound with respect to the machine execution model, and use it to reason modularly about virtual machines which communicate through the hypercall ABIs, demonstrating the hypercall ABIs' expressivity. Moreover, we use the logic to prove robust safety of communicating virtual machines, that is, the guarantee that even if some of the virtual machines are compromised and execute unknown code, they cannot break the safety properties of other virtual machines running known code. This demonstrates the intended security guarantees of the hypercall ABIs. All the results in the paper have been formalised in Coq using the Iris framework.

Style APA, Harvard, Vancouver, ISO itp.

Elsamanoudi, Ahmed, Mohamed R. AbdAllah i Haytham M. Elbadrawy. "Parametric Hypercell Mechanism for Adaptive Building Skin: A Case Study in New Administrative Capital, Egypt". Civil Engineering and Architecture 10, nr 7 (grudzień 2022): 3046–70. http://dx.doi.org/10.13189/cea.2022.100719.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Nelson, Kelly. "HyperCALL". Hispania 76, nr 2 (maj 1993): 359. http://dx.doi.org/10.2307/344708.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

LEVENSON, THOMAS. "Taming the Hypercello". Sciences 34, nr 4 (8.07.1994): 15–17. http://dx.doi.org/10.1002/j.2326-1951.1994.tb03769.x.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Chang, Chaowen, Xin Chen, Shuai Wang i Qinghai Xiao. "Research on Dynamic Integrity Measurement Model Based on Memory Paging Mechanism". Discrete Dynamics in Nature and Society 2014 (2014): 1–7. http://dx.doi.org/10.1155/2014/478985.

Pełny tekst źródła

Streszczenie:

In order to solve the existed problems of dynamic integrity measurement method, a dynamic integrity measurement model based on Memory Paging Mechanism is proposed in this paper. The model takes memory pages of executable subjects as measurement objects. When the pages are scheduled into memory, the measurement points are inserted, the pages are measured, and their integrities are verified. The model is able to insure the integrity and trust of each executable page and assure that the integrity of the whole executable subjects is not destroyed. To verify this model, XEN hypercall mechanism is used to acquire executable subjects’ pages scheduled into memory, and the integrity measurement and verification codes are put into hypercall handler. Accordingly, dynamic integrity measurement to executable subjects is implemented.

Style APA, Harvard, Vancouver, ISO itp.

Si, Zhi Gang, Ping Li, Xin Chen i Ying Wan. "A Dynamic Integrity Measurement Scheme Based on XEN". Advanced Materials Research 482-484 (luty 2012): 279–86. http://dx.doi.org/10.4028/www.scientific.net/amr.482-484.279.

Pełny tekst źródła

Streszczenie:

A trusted computing platform is designed based on XEN virtual machine, and a dynamic integrity measurement scheme is presented using hypercall mechanism. This scheme can solve the deficiency of limited scope or complicated structure comparing with other dynamic integrity measurement schemes.

Style APA, Harvard, Vancouver, ISO itp.

Więcej źródeł

Rozprawy doktorskie na temat "HyperCell"

Le, Cuong Hoang H. "Protecting xen hypercalls : intrusion detection/ prevention in a virtualization environment". Thesis, University of British Columbia, 2009. http://hdl.handle.net/2429/14849.

Pełny tekst źródła

Streszczenie:

During the past few years virtualization has strongly reemerged from the shadow of the mainframe generation as a promising technology for the new generation of computers. Both the research and industry communities have recently looked at virtualization as a solution for security and reliability. With the increased usage and dependence on this technology, security issues of virtualization are becoming more and more relevant. This thesis looks at the challenge of securing Xen, a popular open source virtualization technology. We analyze security properties of the Xen architecture, propose and implement different security schemes including authenticated hypercalls, hypercall access table and hypercall stack trace verification to secure Xen hypercalls (which are analogous to system calls in the OS world). The security analysis shows that hypercall attacks could be a real threat to the Xen virtualization architecture (i.e., hypercalls could be exploited to inject malicious code into the virtual machine monitor (VMM) by a compromised guest OS), and effective hypercall protection measures can prevent this threat. The initial performance analysis shows that our security measures are efficient in terms of execution time and space.

Style APA, Harvard, Vancouver, ISO itp.

Janakiraman, Vignesh Narasimhan. "Expression of wild type and variants of human apolipoprotein A-I in Pichia pastoris". Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0450/document.

Pełny tekst źródła

Streszczenie:

Les lipoprotéines de haute densité (High Density Lipoprotein, HDL) permet deréduction de risque de maladies cardio-vasculaires principalement en raison de leurcapacité à éliminer le cholestérol accumulé des artères (via transport inverse ducholestérol). Les effets protecteurs des HDL sont médiés par l'apolipoprotéine AI(ApoA1), qui est le La protéine la plus importante quantitativement du HDL. L’ApoA1favorise l'efflux de cholestérol vers le foie pour l'excrétion. Une augmentation desniveaux plasmatiques de l’ApoA1 est généralement acceptée d'êtrecardioprotecteur, ce qui en fait un potentiel thérapeutique. Deux variantes naturelle(mutants) de l’ApoA1, Milano et Paris, sont caractérisées par une mutationponctuelle unique a permis l'introduction d'un résidu cystéine. Populations avecApoA1-Milano ont été rapportés d'avoir un système cardiovasculaire, même avec defaibles niveaux de plasma de ApoA1 et HDL. Il est donc d'intérêt pour générerrecombinante de type sauvage et des variantes de ApoA1 humaine pour desapplications thérapeutiques potentielles. Dans cette étude, de type sauvagerhApoA1 a été produit chez P. pastoris et purifié par chromatographie en modemixte en une seule étape. Par la suite, un processus intégré a été le développementde la production et la récupération rapide de type sauvage rhApoA1 chez P. pastorispar chromatographie par lit expansée. En outre, les variantes de l'ApoA1, Milano &Paris, ont été générées par mutagenèse dirigée et ont été exprimés chez P. pastoris.Les motifs d’adsorption de rhApoA1-Milano et rhApoA1-Paris ont été comparés àcelle de type sauvage ApoA1 et les différences ont été discutées
The high-density lipoprotein (HDL) complex helps reduce the risk of cardiovasculardisorders mainly due to its ability to remove accumulated cholesterol from arteriesvia reverse cholesterol transport. These protective effects of HDL are known to bemediated by Apolipoprotein A-I (ApoA1), which is the major protein component ofHDL. ApoA1 is a lipid binding protein and promotes cholesterol efflux fromperipheral tissues to the liver for excretion. An increase in the plasma levels ofApoA1 is generally accepted to be cardioprotective, making it a potentialtherapeutic. Two naturally occuring variants of ApoA1, namely the Milano & Parismutants, are characterised by a single point mutation resulting in the introduction ofa Cysteine residue. Populations with ApoA1-Milano have been reported to have ahealthier cardiovascular system even with low plasma levels of ApoA1/HDL. It ishence of interest to generate recombinant wild type and variants of human ApoA1for potential therapeutic applications. In this study, wild type rhApoA1 was producedin P. pastoris and purified by mixed-mode chromatgraphy in a single step.Subsequently, an integrated process has been development for the production andrapid recovery of wild type rhApoA1 in Pichia pastoris. This has paved way to theestablishment of a scalable integrated process that could be further developed toindustrial levels. In addition, the cysteine variants of ApoA1, Milano & Paris, havebeen generated by site directed mutagenesis and have been successfully expressedin P. pastoris. The binding patterns of rhApoA1-Milano and rhApoA1-Paris have beencompared with that of wild-type ApoA1 and the differences have been discussed

Style APA, Harvard, Vancouver, ISO itp.

Mendes, Rozi Mara. "Avaliação da interface de desenvolvimento de materiais educacionais digitais no ambiente HyperCAL online". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2009. http://hdl.handle.net/10183/18293.

Pełny tekst źródła

Streszczenie:

O presente trabalho tem por objetivo avaliar a interface de desenvolvimento de materiais educacionais digitais de um protótipo que se encontra integrado ao ambiente chamado HyperCal online. A metodologia deste protótipo foi fundamentada na Teoria da Aprendizagem Significativa, tendo como recurso o mapa conceitual que relaciona os conteúdos de determinada disciplina ou área de conhecimento. A abordagem dos objetos de aprendizagem utilizada permitiu que à medida que estes fossem produzidos, também fossem armazenados em banco de dados, juntamente com todas as informações referentes aos objetos. A partir deste armazenamento, os objetos podem ser reutilizados em diferentes contextos de aprendizagem, desde que apresentem uma relação semântica, para produzir outros materiais educacionais. O desenvolvedor de materiais educacionais, fazendo uso desta interface, deve encontrar todas as informações que necessita. A atividade de busca e seleção de objetos neste processo de desenvolvimento é de extrema importância. Neste sentido, a interface deve ser ergonômica e oferecer usabilidade ao usuário (professor/instrutor), facilitando o processo de desenvolvimento. Uma interface para o desenvolvimento de materiais educacionais em um ambiente virtual, que apresente problemas de ergonomia e usabilidade pode dificultar ao professor/instrutor o planejamento e o desenvolvimento de suas aulas e, assim, comprometer e prejudicar o aprendizado do aluno. O protótipo, por apresentar características de alta fidelidade, pois possui todos os elementos de um produto final, facilitou a aplicação de critérios ergonômicos e testes de usabilidade à interface. Assim, será possível, posteriormente implementar melhorias e sugerir a inserção de novos recursos tecnológicos. Estes procedimentos facilitarão, a utilização pelo professor/instrutor, de todos os recursos didáticos digitais do protótipo que lhe são oferecidos ou estão disponibilizados em banco de dados ou repositório de objetos de aprendizagem. Deste modo, os materiais educacionais desenvolvidos poderão melhorar o processo de aprendizagem do aluno (usuário final do produto), tanto em aulas à distância como em aulas presenciais, além de possibilitar, posteriormente, que sejam oferecidos em qualquer modalidade de ensino.
This study aims to evaluate the developing interface of digital educational material of a prototype that is integrated in an online environment called HyperCalGD . The methodology of this prototype was based on the Meaningful Learning Theory, with the conceptual map that lists ou relates the contents of a particular discipline or area of expertise. The learning objects approach allowed their, were storage in the, prototype's database, together with all information relating to them while they were produced. From this point, the objects can be reused in different contexts of learning, providing they have a semantic relation to produce other educational materials. The developer of educational materials, using this interface, should find all the information he/she needs. The activity of search and selection of objects in the development process is extremely important. In this sense, the interface must be ergonomic and offer usability to the user (teacher/instructor), facilitating the development process. An interface for the development of educational materials in a virtual environment, which presents ergonomics and usability problems can hinder the teachers/instructors of planning and developing their classes and thereby undermine and jeopardize the student's learning. The prototype displays high-fidelity features, having all the elements of a final product, facilitating the application of usabilitry tests to the interface. Thus, it will be possible to implement improvements and to suggest the insertion of new technological resources. These procedures will facilitate the use by the teacher/ instructor of all the features of the digital prototype offered or made available in the, external databases or repositories of learning objects. Thus, the educational materials developed can improve the student's learning process (end user of the product), both at distant classes or in presential classes though as to permit further use in any kind of education.

Style APA, Harvard, Vancouver, ISO itp.

Lindberg, Magnus. "Virtualisering : en prestandajämförelse mellan fullständig- och parallell systemvirtualisering". Thesis, University of Skövde, School of Humanities and Informatics, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-1159.

Pełny tekst źródła

Streszczenie:

Virtualisering är en abstraktion av underliggande fysisk hårdvara som omvandlas till en förutbestämd struktur av hårdvara via mjukvara. En virtuell maskin kan då vara frånkopplad från hårdvaran. Virtualisering tillåter hårdvara att delas upp som flera separata virtuella hårdvaror vilket kan ske transparent för operativsystem i virtuella maskiner. Virtualisering ökade under 90-talet och det utvecklades två virtualiseringsteknologier: (i) den fullständiga systemvirtualisering och (ii) parallell systemvirtualisering. Fullständig systemvirtualisering erbjuder abstraktion som utgör en frånkoppling från hårdvara. Operativsystem som använder en virtuell maskin känner då inte till att virtualisering skett med resultatet att alla operativsystem kan användas. Parallell systemvirtualisering använder en delvis abstraktion då operativsystem modifieras för att virtuell maskin skall vara medveten om att virtualisering utförts för att möjliggöra för prestandaförbättringar. Den problemställningen som ställts försöker utröna vilken av dessa två teknologier som kan leverera bästa prestanda över FTP. Experiment har då utförts och visade att det är inga skillnader mellan teknologierna.

Style APA, Harvard, Vancouver, ISO itp.

Silva, Régio Pierre da. "Avaliação de perspectiva cognitivista como ferramenta de ensino-aprendizagem da geometria descritiva a partir do ambiente hipermídia hypercal GD". Florianópolis, SC, 2005. http://repositorio.ufsc.br/handle/123456789/101609.

Pełny tekst źródła

Streszczenie:

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia de Produção
Made available in DSpace on 2013-07-15T22:46:50Z (GMT). No. of bitstreams: 1 209927.pdf: 7307462 bytes, checksum: 8116979c95688a5c8bdabdbb78c1bb64 (MD5)
Este trabalho tem por objetivo avaliar a metodologia de ensino da Geometria Descritiva segundo uma abordagem cognitivista a partir da utilização do ambiente hipermídia HyperCALGD. Esta metodologia de ensino se fundamenta na teoria da assimilação ou da aprendizagem significativa de Ausubel, a qual considera como fator mais importante para a aprendizagem o conhecimento que o aluno já possui. A aprendizagem significativa é um processo pelo qual uma nova informação se relaciona com aspectos relevantes da estrutura cognitiva do indivíduo. A implementação desta metodologia exigiu que fossem realizadas alterações na organização e apresentação do conteúdo programático, dos procedimentos de ensino e na seleção dos recursos didáticos da disciplina. Desta maneira, a disposição axiomática (lógica) comumente encontrada no ensino tradicional da Geometria Descritiva passa a ter, gradualmente, um desenvolvimento com ênfase nos conhecimentos prévios dos alunos. Para a consecução desta metodologia de ensino foram utilizadas ferramentas e técnicas criadas por Novak e Gowin, sendo elas: mapas conceituais, organizadores prévios e apoio empírico-concreto. Como apoio empírico-concreto da Geometria Descritiva III foi utilizado o ambiente hipermídia de aprendizagem HyperCALGD. Um experimento foi realizado durante um semestre na disciplina ARQ-03320 Geometria Descritiva III, onde foram aplicados os princípios e as técnicas oriundas da aprendizagem significativa para um grupo experimental, e mantida a metodologia tradicional para um grupo de controle. O objetivo do experimento foi verificar as diferenças que poderiam surgir, a partir do uso das diferentes abordagens, em termos da habilidade do aluno para aplicar, associar, diferenciar e organizar hierarquicamente os conceitos de Geometria Descritiva. Para obter tais objetivos foram administrados, além dos testes de avaliação tradicionais, testes de associação no início e no fim da disciplina.

Style APA, Harvard, Vancouver, ISO itp.

Fulton, Andrew Dale. "Monoclonal Antibody Expression and Novel Purification in Nicotiana benthamiana". Thesis, Virginia Tech, 2011. http://hdl.handle.net/10919/43361.

Pełny tekst źródła

Streszczenie:

Over the past few decades researchers and industrial professionals alike have realized the vast potential of monoclonal antibodies to treat diseases ranging from arthritis, immune and infectious diseases to cancer. There are a number of antibodies on the market that constitute a large portion of the biopharmaceutical niche in the drug industry. Blockbuster drugs (selling greater than $1 billion/year), include antibodies such as Avastin (bevacizumab), Herceptin (trastuzumab), Rituxan (rituximab), Humira (adalimumab) and Remicade (infliximab), which are cornerstones in this type of sector. With the cost of development to market approval rising astronomically for a new drug, new ways to produce and process these molecules becomes a paramount objective to ultimately help both patients and drug developers. Plants, such as Nicotiana benthamiana, offer a unique production platform due to their recently found ability to produce large amounts of therapeutic proteins in a quick manner. While production would be simple and cheap, purification would not be due to the presence of toxic compounds in ground plant tissue. The current methods to purify these molecules from plant extract include expensive affinity column steps (Protein A/G) that are difficult to scale-up to bed volumes that would be necessary for this technology. In the following paper, a method to purify a monoclonal antibody by non-Protein A/G resins is accomplished and compared to purification by Protein A. The modified process involved an UF/DF step, a precipitation of native impurities step using a charged polymer, hydrophobic interaction chromatography and hydrophobic charge induction chromatography. The yield of this modified process was 19.0%. This process compared favorably with Protein A due to the fact that even with washing steps including NaCl and Tween-20, the Protein A elution fraction still contained a large portion of host cell impurities. A chromatography step would need to be included before Protein A to both protect the column resin and provide a more purified immunoglobulin.
Master of Science

Style APA, Harvard, Vancouver, ISO itp.

Corrêa, Pablo Ermida. "Ferramenta computacional interativa para a elaboração de mapas conceituais integrada no HyperCAL online para a produção de objetos de aprendizagem". reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/98136.

Pełny tekst źródła

Streszczenie:

O presente trabalho teve por objetivo desenvolver uma ferramenta computacional interativa para a elaboração de mapas conceituais e objetos de aprendizagem, como um módulo integrado ao ambiente virtual HyperCAL online. A partir disso, melhorou-se a interação do usuário, no módulo professor, com o sistema no desenvolvimento de objetos de aprendizagem, oportunizando a flexibilidade e customização no acesso ao conteúdo. Para a execução deste trabalho, foram investigados os seguintes temas: Design Instrucional, Ambientes Virtuais e Objetos de Aprendizagem, os processos de desenvolvimento de Software e as metodologias ágeis, os conceitos de Design de Interação e Interface, seguindo principalmente os princípios de design e usabilidade, com foco na experiência do usuário. Todo este estudo possibilitou a construção e a integração da ferramenta de mapas conceituais no ambiente HyperCAL online com a aplicação da metodologia ágil Extreme Programming (XP) que, por ter premissas de simplificação de processos e proximidade constante com o usuário, garantiu a qualidade do projeto durante o processo de aplicação das técnicas propostas. A implementação de mapas conceituais no ambiente virtual HyperCAL online demonstrou grande aplicabilidade para a proposta desta pesquisa, pois potencializou a possibilidade de pesquisa e aprendizado do usuário, contribuindo no seu foco de interesse, aumentando sua capacidade de informação, interação e recuperação de dados do sistema. E ainda, tornou o ambiente virtual mais atrativo, interativo e dinâmico para os seus usuários.
Abstract: This study aims to develop an interactive computational tool to elaborate conceptual maps and learning objects, as an integrated module to the online virtual environment HyperCAL. We sought to improve the teacher module’s user interaction with the system of development of learning objects, allowing the flexibility and customization when accessing content. For the execution of this study, the following issues have been investigated: Instructional Design, Virtual Environments and Learning Objects; the processes of software development and agile methodologies; and concepts of Interaction and Interface Design, mainly following the principles of design and usability, focusing on the user’s experience. The study enabled the construction of the tool of conceptual maps and its integration to the HyperCAL online environment with the implementation of an agile methodology, which assured the quality of the project during the process of application of the proposed techniques, due to assumptions of simplifications of processes and to the constant proximity with the user. The implementation of concept maps in the online virtual environment HyperCAL has shown great applicability to the proposal of this research, as it has opened up new possibilities for research and learning for the user, contributing to their focus of interest, increasing its capacity for information, interaction and data recovery from the system. In addition, it has made the virtual environment more attractive, interactive and dynamic for its users.

Style APA, Harvard, Vancouver, ISO itp.

Pezzini, Jérôme. "La chromatographie en mode mixte pour la purification de protéines recombinantes à visée santé : caractérisation des interactions impliquées dans les supports de chromatographie HyperCel®, modélisation et applications". Thesis, Bordeaux 2, 2011. http://www.theses.fr/2011BOR21885/document.

Pełny tekst źródła

Streszczenie:

La chromatographie mode mixte représente l’une des plus grandes évolutions de ces dernières années dans le domaine des bioséparations. Cette technique repose sur l'intervention de plusieurs types d'interactions au sein d'un seul et même support. Les résines de chromatographie mode mixte HEA, PPA et MEP HyperCel portent des groupements aliphatiques, aromatiques, thiophiliques ainsi que des groupements aminés protonables en différentes positions. Au moyen d’expériences de chromatographie, à l’aide de protéines standards aux propriétés spécifiques et de mélanges complexes, nous avons isolé ces différentes interactions. Nous avons mis en évidence l’intervention majeure d'au moins deux types d'interactions au sein de ces supports : interactions hydrophobes et électrostatiques. Nous avons pu observer le comportement des résines lors de variations de pH, de force ionique, de types de sels et de tampons ou lors de la présence d'autres composés organiques. Nous avons mis en évidence l'intervention combinée de ces types d'interactions lors des différentes phases de chromatographie. Le comportement des résines mode mixte a révélé des sélectivités particulières et dont le contrôle ciblé à l'aide de l'environnement a permis le développement de méthodes de purification efficaces et originales. Nous avons pu ainsi développer des applications telles que la purification de fragment d’anticorps (Fab’2) à partir de culture de cellules d’insectes, la capture de protéine de type MBP à partir d’extrait bactériens et la capture d’anticorps monoclonaux à partir de cellules de mammifères (CHO), et ainsi améliorer les conditions d’utilisation de la chromatographie en mode mixte
Mixed mode chromatography is the most innovative technique for bioseparation. Mixed mode resins, as the term suggest, involves multiples types of interaction at the same time. HyperCel mixed mode resins, HEA, PPA and MEP, involve aliphatic, aromatic or thiophilic groups as well as protonable amine located in the spacer arm or as a head group. Using classical chromatographic experiments, standards proteins and complex mixtures, we highlighted the two major types of interactions involved: hydrophobic and electrostatic interactions. We specifically influenced these interactions by modifying the environment in terms of ionic strength, pH, salt types, and other compounds. The combination of these interactions during every phase of a chromatographic process has been demonstrated. Mixed mode resins thus offer unique selectivity that can be controlled by the environment. This allowed us to develop several applications from antibodies fragments capture from insect cells, to the purification of MBP-tagged proteins, through monoclonal antibody capture from CHO cells. We thus enhanced mixed mode chromatography

Style APA, Harvard, Vancouver, ISO itp.

Das, Saptarsi. "Reconfigurable Accelerator for High Performance Application Kernels". Thesis, 2018. https://etd.iisc.ac.in/handle/2005/5313.

Pełny tekst źródła

Streszczenie:

Accelerating high performance computing (HPC) applications such as dense linear al- gebra solvers, mesh computations, stencil computations requires exploiting parallelism that is resident in loops. Typically these loops have simple structures and they form the so called static control parts of the HPC applications. In this context affine loops are of particular interest because of their amenability to automatic parallelization. Efficient execution of such applications demand computing platforms that are capable of exploit- ing parallelism of various granularities. In the past decades architects and hardware designers have exploited the exponential growth in device density on silicon to meet the ever increasing demand for parallel execution on hardware. As we enter the deep sub- micron era, various factors including the so called power wall will impede the traditional approach of architecture design. It will no longer be bene ficial to design homogeneous multicores where each core is structurally and functionally identical. In order to over- come the challenges of the future, a heterogeneous design philosophy has to be adopted. We see some re flection of that already in the state of the art - application specifi c on- chip accelerators and specialized processing platforms such as graphics processing units have become common in present generation of computing platforms. When compared to general purpose processors (GPP), although application specifi c accelerators offer dra- matically higher efficiency for their target applications, they are not as flexible and/or performs poorly on other applications. Graphic processing units (GPU) can be used for accelerating a wide range of parallel applications. However GPUs are extremely energy consuming. Field programmable gate arrays (FPGA) may be used to generate acceler- ators on demand. Although this mitigates the flexibility issue involved with specialized hardware accelerators, the ner granularity of the lookup tables (LUT) in FPGAs leads to signi ficantly high con figuration time and low operating frequency. Coarse-grain re- con figurable architectures (CGRA) accelerators consisting of a pool of compute elements (CE) interconnected using some communication infrastructure overcomes the reconfi gu- ration overheads of FPGAs while providing performance close to specialized hardware accelerators. Examples of CGRAs include Convey Hybrid-Core Computer, DRRA, REDEFINE etc. Modern CGRAs are fundamentally ne grain instruction processing engines. In or- der to avoid the overheads of ne grain instruction processing and the flexibility issue of application speci fic accelerators, reconfigurable function units have been designed to act as accelerators that work in a tightly coupled manner with their host GPP. The so called reconfigurable function units are essentially a number of compute units such as ALUs or FPUs interconnected using a programmable interconnect. Example of such accelerators include DySER, CRFU etc. Such reconfigurable accelerators are particularly suitable for accelerating loops with large bounds because, the large number of iterations of loops ef- fectively amortizes the con figuration overheads. The reconfigurable accelerators decouple control and data movement from the core computation, much like the decoupled access execute architecture of yore. This decoupled execution style allows dedicated hardware resources for computation and control thereby improving efficiency of the computation resources. However, since the accelerators lack dedicated micro-architectural support for control and movement of data, the pipeline of the host GPP has to act as the control hardware. The micro-architectural limitations of the host GPP such as limited storage and read/write bandwidth of register les affect the performance of the said accelerators. In order to avoid this pitfall, we propose a reconfigurable accelerator called HyperCell which is inspired by the decoupled execution style and is supported by dedicated control hardware and temporary operand storage. The HyperCell can be con gfiured once and it can execute a large number of iterations of a loop without direct intervention from the host. This reduces control overhead signi ficantly. The dedicated operand storage enables temporal reuse of data and reduces data movement overhead. The recon figurable dat- apath of HyperCell allows exploitation of ne grain instruction level parallelism (ILP) while the controller enables pipelined execution of successive iterations of the loop and thereby enables exploitation of ne grain data level parallelism (DLP). In order to exploit higher degree of parallelism, we connect a multitude of HyperCells using a scalable network on chip. The architecture of the network of HyperCells based on the REDEFINE archetype. Hence we refer to the proposed accelerator as REDEFINE HyperCell Multicore (RHyMe). The network of HyperCells form the compute fabric of RHyMe. The HyperCells are capable of concurrently executing partitions (so called tiles) of an iteration space of a loop. The multiplicity of HyperCells enable exploitation of coarse grain DLP. In order to reduce data movement overheads between the accelera- tor and its host processor, we introduce a distributed shared memory that the compute fabric can utilize as its operand store. Control overheads are minimized through intro- duction of a dedicated orchestrator module that governs execution of tiles of an iteration space on the compute fabric of RHyMe. Through experimental results we quantitatively demonstrate that our proposed accelerator incurs minimum control overhead in terms of performance, hardware complexity of the dedicated orchestrator and energy consump- tion. For certain kernels, we observe that the fraction of computation time and total execution time is more than 99%. The con gfiuration and synchronization overhead is less than 1%. We also demonstrate that the accelerator is capable of exploiting multi-grain parallelism and temporal reuse of operand data. We measured data-movement over- head for different kernels. For kernels with greater scope of temporal reuse of data, our proposed hardware is capable of effectively hiding data movement latencies. We mea- sured the relative cost of computation, control and data movement in terms of energy spendings. We observe that kernels with significant scope of data reuse results in more than 80% of the energy being spent in computation. We achieve performance ranging from 8.24 to 20.64 GFLOPS for the various kernels. By effectively exploiting parallelism and temporal reuse of data, RHyMe is able to achieve power efficiency of up to 16.86 GFLOPS/Watt

Style APA, Harvard, Vancouver, ISO itp.

Nalesh, S. "Energy Aware Synthesis of Accelerators on a Network of HyperCells". Thesis, 2018. http://etd.iisc.ac.in/handle/2005/4164.

Pełny tekst źródła

Streszczenie:

With supply voltage no longer scaling down at the same rate as transistor feature size, keeping power dissipation to practical levels while maximizing performance is becoming a challenge in future computing systems. Increasing performance per watt for target applications is critical. Heterogeneous computing systems which consist of General Purpose Processors (GPPs), Graphic Processing Units (GPUs) and application specific accelerators can provide improved performance while keeping power dissipation at a realistic level. Application specific accelerators give the best performance per watt for a given application, but their lack of flexibility prevents their applicability in case of any small modification in the application or for a closely related application. In such scenarios, Coarse Grained Reconfigurable arrays or CGRAs are drawing increasing attention due to their promise of providing more flexibility than application specific accelerators, but with better energy efficiency than GPPs. One key feature of the majority of CGRAs is to naturally layout computational data paths in space, so as to avoid the hardware complexity associated with general purpose processor pipelines. This makes CGRAs more energy efficient when compared to GPPs. However, existing compilation frameworks for CGRAs are targeted towards maximizing performance for a given application kernel while neglecting power dissipation. While the very nature of CGRAs make these kernels run at lower power compared to the GPPs, existing techniques do not attempt to get the least power footprints for these kernels on the CGRA. With power dissipation becoming critical, CGRA compilation techniques should try to optimize the performance for a given kernel while simultaneously optimizing for power dissipation. Extracting parallelism inherent in kernels and exposing it efficiently to the CGRA is an effective way to achieve maximum performance at minimum power dissipation. This thesis presents a CGRA targeted for realizing kernels specified as function compositions. Function composition is defined as applying one function to the results of another to form a new function. A functional style of programming is more effective in expressing parallelism compared to imperative style and is better suited for kernels targeting CGRAs. The proposed CGRA consists of a set of reconfigurable datapaths called HyperCells which can be stitched together to form a single datapath of required granularity as dictated by the targeted kernel. We call this CGRA, a Coarse Grained Composable Reconfigurable Array or CGCRA. We also propose a synthesis methodology for mapping kernels to the CGRA, for a given performance while minimizing power dissipation. A comprehensive throughput and power model for the CGCRA proposed here enables accurate estimation of performance and energy during synthesis. An RTL prototype for the proposed CGRA has been developed and synthesized to gate level netlist using Cadence RTL Compiler with 40 nm LowK (RVT) standard cell library from Faraday Technology. A 5X9 array with 32 HyperCells has an area of 32.27 mm2 and can operate at a maximum clock frequency of 275 MHz. This gives a theoretical peak performance of 220 GFLOPS. A few application kernels from signal processing, machine learning, and HPC domains have been mapped to the CGCRA using the proposed synthesis methodology. Estimated power efficiency for these kernels falls within a range of 9 to 19 GFLOPS/Watts with an average 13.8 GFLOPS/Watts. Higher performance is observed for kernels with significant data reuse with a maximum observed performance of 120 GFLOPS which is 55% of the theoretical peak.

Style APA, Harvard, Vancouver, ISO itp.

Książki na temat "HyperCell"

Williams, Gene. HyperCELL 1997. Garland Publishing, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams, Gene. Hypercell CD-ROM. Routledge, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams. Hypercell 97 MAC Demo. Garland Publishing Inc,US, 1996.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams. Hypercell 1998: MacIntosh Student Guide. Routledge, 1997.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams, Gene. Hypercell 1993-94: A Hypermedia Presentation of Cell Biology MacIntosh Program. Taylor & Francis Group, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams, Gene. Hypercell 1993-94: A Hypermedia Presentation of Cell Biology Windows Program. Taylor & Francis Group, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Williams, Gene. Hypercell 1993-94: A Hypermedia Presentation of Cell Biology Windows Program. Garland Publishing, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

WILLIAMS. Hypercall 1997. Taylor & Francis Group, 1996.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Hypercool: Way Past Cool. France: Plon, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Hypercool: Way Past Cool. France: Editions 10/18, 1993.

Znajdź pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Części książek na temat "HyperCell"

Stefani, Jean-Bernard, i Martin Vassor. "Encapsulation and Sharing in Dynamic Software Architectures: The Hypercell Framework". W Formal Techniques for Distributed Objects, Components, and Systems, 242–60. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-21759-4_14.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Dritschel, David G., i Jérôme Fontane. "The HyperCASL algorithm". W IUTAM Symposium on Turbulence in the Atmosphere and Oceans, 289–98. Dordrecht: Springer Netherlands, 2010. http://dx.doi.org/10.1007/978-94-007-0360-5_23.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

oder, Leif Schr ¨. "Chapter 8 HyperCEST Imaging". W Chemical Exchange Saturation Transfer Imaging, 121–58. Penthouse Level, Suntec Tower 3, 8 Temasek Boulevard, Singapore 038988: Pan Stanford Publishing, 2017. http://dx.doi.org/10.1201/9781315364421-9.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Wang, Feifei, Ping Chen, Bing Mao i Li Xie. "RandHyp: Preventing Attacks via Xen Hypercall Interface". W IFIP Advances in Information and Communication Technology, 138–49. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30436-1_12.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Li, Guoxi, Wenhai Lin i Wenzhi Chen. "Exit-Less Hypercall: Asynchronous System Calls in Virtualized Processes". W Algorithms and Architectures for Parallel Processing, 169–82. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-38991-8_12.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Finkbeiner, Bernd, Markus N. Rabe i César Sánchez. "Algorithms for Model Checking HyperLTL and HyperCTL $$^*$$". W Computer Aided Verification, 30–48. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-21690-4_3.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Bajwa, Ali, Minjian Zhang, Rohit Chadha i Mahesh Viswanathan. "Stack-Aware Hyperproperties". W Tools and Algorithms for the Construction and Analysis of Systems, 308–25. Cham: Springer Nature Switzerland, 2023. http://dx.doi.org/10.1007/978-3-031-30823-9_16.

Pełny tekst źródła

Streszczenie:

AbstractA hyperproperty relates executions of a program and is used to formalize security objectives such as confidentiality, non-interference, privacy, and anonymity. Formally, a hyperproperty is a collection of allowable sets of executions. A program violates a hyperproperty if the set of its executions is not in the collection specified by the hyperproperty. The logic HyperCTL* has been proposed in the literature to formally specify and verify hyperproperties. The problem of checking whether a finite-state program satisfies a HyperCTL* formula is known to be decidable. However, the problem turns out to be undecidable for procedural (recursive) programs. Surprisingly, we show that decidability can be restored if we consider restricted classes of hyperproperties, namely those that relate only those executions of a program which have the same call-stack access pattern. We call such hyperproperties, stack-aware hyperproperties. Our decision procedure can be used as a proof method for establishing security objectives such as noninference for recursive programs, and also for refuting security objectives such as observational determinism. Further, if the call stack size is observable to the attacker, the decision procedure provides exact verification.

Style APA, Harvard, Vancouver, ISO itp.

Wang, Yajie, Haibin Zuo, Kaikai Bai, Jun Zhao i Jiansheng Chen. "Characterization of the Hot-Pressed Coal Briquettes Prepared with the HyperCoal". W Energy Technology 2020: Recycling, Carbon Dioxide Management, and Other Technologies, 57–67. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-36830-2_6.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Baumeister, Jan, Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner i César Sánchez. "A Temporal Logic for Asynchronous Hyperproperties". W Computer Aided Verification, 694–717. Cham: Springer International Publishing, 2021. http://dx.doi.org/10.1007/978-3-030-81685-8_33.

Pełny tekst źródła

Streszczenie:

AbstractHyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a trace property defines a set of traces, a hyperproperty defines a set of sets of traces. The temporal logics HyperLTL and HyperCTL* have been proposed to express hyperproperties. However, their semantics are synchronous in the sense that all traces proceed at the same speed and are evaluated at the same position. This precludes the use of these logics to analyze systems whose traces can proceed at different speeds and allow that different traces take stuttering steps independently. To solve this problem in this paper, we propose an asynchronous variant of HyperLTL. On the negative side, we show that the model-checking problem for this variant is undecidable. On the positive side, we identify a decidable fragment which covers a rich set of formulas with practical applications. We also propose two model-checking algorithms that reduce our problem to the HyperLTL model-checking problem in the synchronous semantics.

Style APA, Harvard, Vancouver, ISO itp.

Hamaguchi, Maki, Noriyuki Okuyama, Takahiro Shishido, Koji Sakai, Nobuyuki Komatsu, Naoki Kikuchi, Toshinori Inoue, Jiro Koide i Hideki Kasahara. "Prebaked Anode from Coal Extract (3) — Carbonization Properties of Hypercoal and Its Blends with Binder Pitch". W Light Metals 2012, 1219–21. Cham: Springer International Publishing, 2012. http://dx.doi.org/10.1007/978-3-319-48179-1_210.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Streszczenia konferencji na temat "HyperCell"

Madhu, Kavitha T., Saptarsi Das, C. Madhava Krishna, S. Nalesh, S. K. Nandy i Ranjani Narayan. "Synthesis of Instruction Extensions on HyperCell, a reconfigurable datapath". W 2014 International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS XIV). IEEE, 2014. http://dx.doi.org/10.1109/samos.2014.6893214.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Leung, K. M. "Localized defects in photonic crystals: a Green’s function formalism". W OSA Annual Meeting. Washington, D.C.: Optica Publishing Group, 1992. http://dx.doi.org/10.1364/oam.1992.tuz26.

Pełny tekst źródła

Streszczenie:

Recent experimental and theoretical studies have shown that, by introducing defects into a photonic crystal, defect states can exist within the forbidden photonic band gap.1 The defect structure of interest occupies only a small volume within a unit cell, and the fields associated with the defect extend no more than a few lattice constants. Theoretical calculations were carried out by using the hypercell method. Here an alternate approach for treating highly localized defect states by introducing vector Wannier functions and using a Green's function is reported. The reason for the use of vector Wannier functions is that they are expected to be highly localized around each atomic site and therefore form ideal basis functions. The eigen problem for the defect state frequency and fields turns out formally to have exactly the same form as that of the corresponding electronic problem.

Style APA, Harvard, Vancouver, ISO itp.

Milgram, Dan, i William B. Cowan. "Hypercept". W the 1999 workshop on new paradigms in information visualization and manipulation in conjunction with the eighth ACM internation conference. New York, New York, USA: ACM Press, 1999. http://dx.doi.org/10.1145/331770.331784.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Li, Jiabao, Honghao Deng i Panagiotis Michalatos. "Hypercept". W CHI '19: CHI Conference on Human Factors in Computing Systems. New York, NY, USA: ACM, 2019. http://dx.doi.org/10.1145/3290607.3313282.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Shropshire, Jordan. "Hyperthreats: Hypercall-based DoS attacks". W SoutheastCon 2015. IEEE, 2015. http://dx.doi.org/10.1109/secon.2015.7133049.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Milenkoski, Aleksandar, Bryan D. Payne, Nuno Antunes, Marco Vieira i Samuel Kounev. "Experience Report: An Analysis of Hypercall Handler Vulnerabilities". W 2014 IEEE 25th International Symposium on Software Reliability Engineering (ISSRE). IEEE, 2014. http://dx.doi.org/10.1109/issre.2014.24.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Beierlieb, Lukas, Lukas Ifflander, Aleksandar Milenkoski, Charles F. Goncalves, Nuno Antunes i Samuel Kounev. "Towards Testing the Software Aging Behavior of Hypervisor Hypercall Interfaces". W 2019 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2019. http://dx.doi.org/10.1109/issrew.2019.00075.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Beierlieb, Lukas, Alberto Avritzer, Lukas Ifflander, Nuno Antunes, Aleksandar Milenkoski i Samuel Kounev. "Software Testing Strategies for Detecting Hypercall Handlers' Aging-related Bugs". W 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW). IEEE, 2021. http://dx.doi.org/10.1109/issrew53611.2021.00043.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Liu, Zirui, Chaozhe Kong, Kaicheng Yang, Tong Yang, Ruijie Miao, Qizhi Chen, Yikai Zhao, Yaofeng Tu i Bin Cui. "HyperCalm Sketch: One-Pass Mining Periodic Batches in Data Streams". W 2023 IEEE 39th International Conference on Data Engineering (ICDE). IEEE, 2023. http://dx.doi.org/10.1109/icde55515.2023.00009.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Mhatre, Swapneel C., i Priya Chandran. "On making xen detect hypercalls and memory accesses for simulating virtualization-enabled processors". W SAC '20: The 35th ACM/SIGAPP Symposium on Applied Computing. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3341105.3373975.

Pełny tekst źródła

Style APA, Harvard, Vancouver, ISO itp.

Oferujemy zniżki na wszystkie plany premium dla autorów, których prace zostały uwzględnione w tematycznych zestawieniach literatury. Skontaktuj się z nami, aby uzyskać unikalny kod promocyjny!