|
Π-calculus
In theoretical computer science, the -calculus (or pi-calculus) is a process calculus. The -calculus allows channel names to be communicated along the channels themselves, and in this way it is able to describe concurrent computations whose network configuration may change during the computation. The -calculus has few terms and is a small, yet expressive language (see ). Functional programs can be encoded into the -calculus, and the encoding emphasises the dialogue nature of computation, drawing connections with game semantics. Extensions of the -calculus, such as the spi calculus and applied , have been successful in reasoning about cryptographic protocols. Beside the original use in describing concurrent systems, the -calculus has also been used to reason about business processesOMG Specification (2011)"Business Process Model and Notation (BPMN) Version 2.0" ''Object Management Group''. p.21 and molecular biology. Informal definition The -calculus belongs to the family of proc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theoretical Computer Science
Theoretical computer science (TCS) is a subset of general computer science and mathematics that focuses on mathematical aspects of computer science such as the theory of computation, lambda calculus, and type theory. It is difficult to circumscribe the theoretical areas precisely. The Association for Computing Machinery, ACM's ACM SIGACT, Special Interest Group on Algorithms and Computation Theory (SIGACT) provides the following description: History While logical inference and mathematical proof had existed previously, in 1931 Kurt Gödel proved with his incompleteness theorem that there are fundamental limitations on what statements could be proved or disproved. Information theory was added to the field with a 1948 mathematical theory of communication by Claude Shannon. In the same decade, Donald Hebb introduced a mathematical model of Hebbian learning, learning in the brain. With mounting biological data supporting this hypothesis with some modification, the fields of n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lambda-calculus
Lambda calculus (also written as ''λ''-calculus) is a formal system in mathematical logic for expressing computation based on function abstraction and application using variable binding and substitution. It is a universal model of computation that can be used to simulate any Turing machine. It was introduced by the mathematician Alonzo Church in the 1930s as part of his research into the foundations of mathematics. Lambda calculus consists of constructing § lambda terms and performing § reduction operations on them. In the simplest form of lambda calculus, terms are built using only the following rules: * x – variable, a character or string representing a parameter or mathematical/logical value. * (\lambda x.M) – abstraction, function definition (M is a lambda term). The variable x becomes bound in the expression. * (M\ N) – application, applying a function M to an argument N. M and N are lambda terms. The reduction operations include: * (\lambda x.M \rightarrow(\lam ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Occam-π
In computer science, occam-π (or occam-pi) is the name of a variant of the programming language occam (programming language), occam developed by the Kent Retargetable occam Compiler (KRoC) team at the University of Kent. The name reflects the introduction of elements of π-calculus (pi-calculus) into occam, especially concepts involving mobile agents (processes) and data. The language contains several extensions to occam 2.1, including: *Nesting (computing), Nested Protocol (object-oriented programming), protocols *Run-time process creation *Mobile channels, data, and processes *Recursion (computer science), Recursion *Protocol Inheritance (object-oriented programming), inheritance *Array Constructor (object-oriented programming), constructors *Extended Barrier (computer science), rendezvous See also * occam (programming language) * Transputer * KRoC * Transterpreter References External links * University of Kent Occam-pi project pageTock Occam compilerParallel programming ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sara Kalvala
Sara may refer to: Arts, media and entertainment Film and television * ''Sara'' (1992 film), 1992 Iranian film by Dariush Merhjui * ''Sara'' (1997 film), 1997 Polish film starring Bogusław Linda * ''Sara'' (2010 film), 2010 Sri Lankan Sinhala thriller directed by Nishantha Pradeep * ''Sara'' (2015 film), 2015 Hong Kong psychological thriller * ''Sara'' (1976 TV series), 1976 American western series * ''Sara'' (1985 TV series), 1985 American situation comedy * ''Sara'' (Belgian TV series), 2007–08 Flemish telenovella on Belgian television * "Sara" (''Arrow'' episode), an episode of Arrow Music * Sara (band), a Finnish band * "Sara" (Bob Dylan song), a song by Bob Dylan for the 1976 album ''Desire'' * "Sara" (Fleetwood Mac song), a song by Fleetwood Mac from the 1979 LP ''Tusk'' * "Sara" (Starship song), a song by Starship from the 1985 album ''Knee Deep in the Hoopla'' *"Sara", a song by Bill Champlin from the 1981 LP '' Runaway'' * "Sarah" (other)#Music, s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
PLOS Computational Biology
''PLOS Computational Biology'' is a monthly peer-reviewed open access scientific journal covering computational biology. It was established in 2005 by the Public Library of Science in association with the International Society for Computational Biology (ISCB) in the same format as the previously established ''PLOS Biology'' and ''PLOS Medicine''. The founding editor-in-chief was Philip Bourne and the current ones are Feilim Mac Gabhann and Jason Papin. Format The journal publishes both original research and review articles. All articles are open access and licensed under the Creative Commons Attribution License. Since its inception, the journal has published the ''Ten Simple Rules'' series of practical guides, which has subsequently become one of the journals most read article series. The ''Ten Simple Rules'' series then led to the ''Quick Tips'' collection, whose articles contain recommendations on computational practices and methods, such as dimensionality reduction for exam ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pacific Symposium On Biocomputing
The Pacific Symposium on Biocomputing (PSB) is an annual multidisciplinary scientific meeting co-founded in 1996 by Dr. Teri Klein, Dr. Lawrence Hunter and Sharon Surles. The conference is to presentation and discuss research in the theory and application of computational methods for biology. Papers and presentations are peer reviewed and published. PSB brings together researchers from the US and the Asian Pacific nations, to exchange research results and address open issues in all aspects of computational biology. PSB is a forum for the presentation of work in databases, algorithms, interfaces, visualization, modeling, and other computational methods, as applied to biological problems, with emphasis on applications in data-rich areas of molecular biology. The PSB aims for "critical mass" in sub-disciplines within biocomputing. For that reason, it is the only meeting whose sessions are defined dynamically each year in response to specific proposals. PSB sessions are organized by ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
MAPK
A mitogen-activated protein kinase (MAPK or MAP kinase) is a type of protein kinase that is specific to the amino acids serine and threonine (i.e., a serine/threonine-specific protein kinase). MAPKs are involved in directing cellular responses to a diverse array of stimuli, such as mitogens, osmotic stress, heat shock and proinflammatory cytokines. They regulate cell functions including proliferation, gene expression, differentiation, mitosis, cell survival, and apoptosis. MAP kinases are found in eukaryotes only, but they are fairly diverse and encountered in all animals, fungi and plants, and even in an array of unicellular eukaryotes. MAPKs belong to the CMGC (CDK/MAPK/GSK3/CLK) kinase group. The closest relatives of MAPKs are the cyclin-dependent kinases (CDKs). Discovery The first mitogen-activated protein kinase to be discovered was ERK1 (MAPK3) in mammals. Since ERK1 and its close relative ERK2 (MAPK1) are both involved in growth factor signaling, the family was term ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Receptor Tyrosine Kinase
Receptor tyrosine kinases (RTKs) are the high-affinity cell surface receptors for many polypeptide growth factors, cytokines, and hormones. Of the 90 unique tyrosine kinase genes identified in the human genome, 58 encode receptor tyrosine kinase proteins. Receptor tyrosine kinases have been shown not only to be key regulators of normal cellular processes but also to have a critical role in the development and progression of many types of cancer. Mutations in receptor tyrosine kinases lead to activation of a series of signalling cascades which have numerous effects on protein expression. Receptor tyrosine kinases are part of the larger family of protein tyrosine kinases, encompassing the receptor tyrosine kinase proteins which contain a transmembrane domain, as well as the non-receptor tyrosine kinases which do not possess transmembrane domains. History The first RTKs to be discovered were EGF and NGF in the 1960s, but the classification of receptor tyrosine kinases was not d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ehud Shapiro
Ehud Shapiro ( he, אהוד שפירא; born 1955) is a multi-disciplinary scientist, artist, entrepreneur and Professor of Computer Science and Biology at the Weizmann Institute of Science. With international reputation, he made fundamental contributions to many scientific disciplines. Shapiro was also an Internet pioneer, a successful Internet entrepreneur, and a pioneer and proponent of E-democracy. Shapiro is the founder of thBa RockBand and conceived its original artistic program. He is a winner of two ERC ( European Research Council) Advanced Grants. Education and Professional background Born in Jerusalem in 1955, the guiding light for Shapiro's scientific endeavors was the philosophy of science of Karl Popper, with which he became acquainted through a high-school project supervised by Moshe Kroy from the Department of Philosophy, Tel Aviv University. In 1979 Shaprio completed his undergraduate studies in Tel Aviv University in Mathematics and Philosophy with distinction. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Aviv Regev
Aviv Regev (born July 11, 1971) is a computational biologist and systems biologist and Executive Vice President and Head of Genentech Research and Early Development in Genentech/Roche. She is a core member (on leave) at the Broad Institute of MIT and Harvard and professor (on leave) at the Department of Biology of the Massachusetts Institute of Technology. Regev is a pioneer of single cell genomics and of computational and systems biology of gene regulatory circuits. She founded and leads the Human Cell Atlas project, together with Sarah Teichmann. Education Regev studied at the Adi Lautman Interdisciplinary Program for Outstanding Students of Tel Aviv University, where she completed her Ph.D. under the supervision of Eva Jablonka and Ehud Shapiro. Career and research In 2020, Regev became the Head and Executive Vice President of Genentech Research and Early Development, based in South San Francisco, and a member of the extended Corporate Executive Committee of Roche. Previously, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Business Process Modeling Language
Business Process Modeling Language (BPML) is an XML-based language for business process modeling. It was maintained by the Business Process Management Initiative (BPMI) until June 2005 when BPMI and OMG (Object Management Group) announced the merger of their respective Business Process Management (BPM) activities to form the ''Business Modeling and Integration Domain Task Force'' (BMI DT It is deprecated since 2008. BPML was useful to Object Management Group, OMG in order to enrich UML with process notation. History BPML, a superset of BPEL, was implemented by early stage vendors, such as Intalio Inc., but incumbents such as IBM and Microsoft did not implement BPML in their existing workflow and integration engine implementations like ''BizTalk'' or ''Websphere''. They pushed for the simpler language BPEL. In view of the lack of market acceptance, the BPMI dropped support of BPML in favor of BPEL4WS. Following the merger of BPMI and OMG, BPML will be definitively deprecated in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
ProVerif
ProVerif is a software tool for automated reasoning about the security properties found in cryptographic protocols. The tool has been developed by Bruno Blanchet. Support is provided for cryptographic primitives including: symmetric & asymmetric cryptography; digital signatures; hash functions; bit-commitment; and signature proofs of knowledge. The tool is capable of evaluating reachability properties, correspondence assertions and observational equivalence. These reasoning capabilities are particularly useful to the computer security domain since they permit the analysis of secrecy and authentication properties. Emerging properties such as privacy, traceability and verifiability can also be considered. Protocol analysis is considered with respect to an unbounded number of sessions and an unbounded message space. The tool is capable of attack reconstruction: when a property cannot be proved, an execution trace which falsifies the desired property is constructed. Applicability of P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
