Group items tagged

Computational neuroscience provides a theoretical foundation and a rich set of technical approaches for understanding complex neurobiological systems, building on the theory, methods, and findings of computer science, neuroscience, and numerous other disciplines. Through the CRCNS program, the National Science Foundation (NSF), the National Institutes of Health (NIH), the German Federal Ministry of Education and Research (Bundesministerium für Bildung und Forschung, BMBF), the French National Research Agency (Agence Nationale de la Recherche, ANR), the United States-Israel Binational Science Foundation (BSF), and Japan's National Institute of Information and Communications Technology (NICT) support collaborative activities that will advance the understanding of nervous system structure and function, mechanisms underlying nervous system disorders, and computational strategies used by the nervous system.

The proliferation of mobile and Internet-of-Things (IoT) devices, and their pervasiveness across nearly every sphere of our society, continues to raise questions about the architectures that organize tomorrow’s compute infrastructure. At the heart of this trend is the data that will be generated as myriad devices and application services operate simultaneously to digitize a complex domain like a smart building or smart industrial facility. A key shift is from edge devices consuming data produced in the cloud to edge devices being a voluminous producer of data. This shift reopens a broad variety of system-level research questions concerning data placement, movement, processing and sharing. Importantly, the shift also opens the door to compelling new applications with significant industrial and societal impact in domains such as healthcare, manufacturing, transportation, public safety, energy, buildings, and telecommunications. Edge computing is broadly defined as a networked systems architectural approach in which compute and storage resources are placed at the network edge, in proximity to the mobile and IoT devices.

The Human Cell Atlas (HCA) is a global effort to create a reference map of all cell types in the human body. The Chan Zuckerberg Initiative and the Helmsley Charitable Trust are pleased to announce continued support for the Human Cell Atlas by collaborating on two new funding mechanisms that the community can access through a single application portal. The Chan Zuckerberg Initiative seeks to continue the work of the HCA community with a focus on interdisciplinary work and collaboration through the formation of 3 year Seed Networks. The Helmsley Charitable Trust welcomes applications that will construct a detailed atlas of the human gut. Project Specifications This Request for Applications (RFA) seeks to support the continued growth of nascent projects and to incubate new networks. The Seed Networks should generate new tools, open source analysis methods, and significant contributions of diverse data types to the Human Cell Atlas Data Coordination Platform. Applications should have a primary focus on the healthy tissues that will contribute to a reference atlas. Seed Networks Seed Networks should consist of at least three principal investigators, including at least one computational biologist or software engineer, together with additional computational biologists, engineers, experimental biologists, and/or physicians. CZI Seed Networks aim to support foundational tools and resources for the HCA and will not require a gut component in the application. CZI Seed Network Grants have four overarching scientific goals: - Build and support networks of collaborating scientists and engineers; - Contribution of high-quality data to v1.0 of the HCA; - Development of new technologies and benchmark data sets, particularly those anchored in spatial as well as molecular information; - Support of computational biology within the Human Cell Atlas community.

A grand challenge in computing is the creation of machines that can proactively interpret and learn from data in real time, solve unfamiliar problems using what they have learned, and operate with the energy efficiency of the human brain. While complex machine-learning algorithms and advanced electronic hardware (henceforth referred to as 'hardware') that can support large-scale learning have been realized in recent years and support applications such as speech recognition and computer vision, emerging computing challenges require real-time learning, prediction, and automated decision-making in diverse domains such as autonomous vehicles, military applications, healthcare informatics and business analytics.

The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. FMitF encourages close collaboration between two groups of researchers. The first group consists of researchers in the area of formal methods, which, for the purposes of this solicitation, is broadly defined as principled approaches based on mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches. The second group consists of researchers in the "field," which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. Initially the program will limit the field to these four areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, machine learning, and operating/distributed systems. However other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.

The National Science Foundation (NSF), through the Directoratefor Engineering, the Directorate of Computer and Information Science and Engineering Division of Computer and Network Systems, and the Directorate for Mathematical and Physical Sciences Division of Materials Research, along with the U.S. Food and Drug Administration (FDA), through its Center for Devices and Radiological Health (CDRH), have established the NSF/FDA Scholar-in-Residence Program at FDA. This program comprises an interagency partnership for the investigation of scientific and engineering issues concerning emerging trends in medical device technology. This partnership is designed to enable investigators in science, engineering, and computer science to develop research collaborations within the intramural research environment at the FDA. Thissolicitation features three flexible mechanisms for support of research at the FDA: 1) Principal Investigators at FDA; 2) Postdoctoral Researchers at FDA; and 3) Graduate Students at FDA.

The CRISP solicitation seeks to fund projects likely to produce new knowledge that can contribute to making ICI services more effective, efficient, dependable, adaptable, resilient, safe, and secure, taking into account the human systems in which they are embedded. Successful proposals are expected to study multiple infrastructures focusing on them as interdependent systems that deliver services, enabling a new interdisciplinary paradigm in infrastructure research. To meet the interdisciplinary criterion, proposals must broadly integrate across engineering, computer, information and computational science, and the social, behavioral and economic sciences.

The CRISP solicitation seeks to fund projects likely to produce new knowledge that can contribute to making ICI services more effective, efficient, dependable, adaptable, resilient, safe, and secure, taking into account the human systems in which they are embedded. Successful proposals are expected to study multiple infrastructures focusing on them as interdependent systems that deliver services, enabling a new interdisciplinary paradigm in infrastructure research. To meet the interdisciplinary criterion, proposals must broadly integrate across engineering, computer, information and computational science, and the social, behavioral and economic sciences.

DMREF is the primary program by which NSF participates in the Materials Genome Initiative (MGI) for Global Competitiveness. MGI recognizes the importance of materials science and engineering to the well-being and advancement of society and aims to "deploy advanced materials at least twice as fast as possible today, at a fraction of the cost." MGI integrates materials discovery, development, property optimization, and systems design with a shared computational framework. This framework facilitates collaboration and coordination of research activities, analytical tools, experimental results, and critical evaluation in pursuit of the MGI goals. The MGI Strategic Plan highlights four sets of goals: -Leading a culture shift in materials science research to encourage and facilitate an integrated team approach; -Integrating experimentation, computation, and theory and equipping the materials community with advanced tools and techniques; -Making digital data accessible; and -Creating a world-class materials science and engineering workforce that is trained for careers in academia or industry.

DMREF is the primary program by which NSF participates in the Materials Genome Initiative (MGI) for Global Competitiveness. MGI recognizes the importance of materials science and engineering to the well-being and advancement of society and aims to "deploy advanced materials at least twice as fast as possible today, at a fraction of the cost." MGI integrates materials discovery, development, property optimization, and systems design with a shared computational framework. This framework facilitates collaboration and coordination of research activities, analytical tools, experimental results, and critical evaluation in pursuit of the MGI goals. The MGI Strategic Plan highlights four sets of goals: -Leading a culture shift in materials science research to encourage and facilitate an integrated team approach; -Integrating experimentation, computation, and theory and equipping the materials community with advanced tools and techniques; -Making digital data accessible; and -Creating a world-class materials science and engineering workforce that is trained for careers in academia or industry.

The Division of Computer and Network Systems (CNS) within the National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) supports research and education activities that develop a better understanding of the fundamental properties of computer and network systems and to create better abstractions and tools for designing, building, analyzing, and measuring future systems. The Networking Technology and Systems (NeTS) program in the CNS division supports transformative research on fundamental scientific and technological advances leading to the development of future-generation, high-performance networks and future Internet architectures.

The Division of Computer and Network Systems (CNS) within the National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) supports research and education activities that seek to develop a better understanding of the fundamental properties of computer and network systems. The Networking Technology and Systems (NeTS) program in the CNS division supports transformative research on fundamental scientific and technological advances leading to the development of Next Generation Internet (NGI) and Advanced Wireless Networking (AWN) systems and technologies.

: The Division of Computer and Network Systems (CNS) within the National Science Foundation's (NSF) Directorate for Computer and Information Science and Engineering (CISE) supports research and education activities that seek to develop a better understanding of the fundamental properties of computer and network systems. The Networking Technology and Systems (NeTS) program in the CNS division supports transformative research on fundamental scientific and technological advances leading to the development of Next Generation Internet (NGI) and Advanced Wireless Networking (AWN) systems and technologies. NSF/CISE and the European Commission’s (EC) Directorate General for Communication Networks, Content and Technology (DG CONNECT) seek to enable US and European Union (EU) researchers to collaborate to address compelling research challenges in NGI and AWN.

The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. FMitF encourages close collaboration between two groups of researchers. The first group consists of researchers in the area of formal methods, which, for the purposes of this solicitation, is broadly defined as principled approaches based on mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches. The second group consists of researchers in the "field," which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, distributed /operating systems, embedded systems, and machine learning. Other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.

The Microsoft Foundation is inviting applications for its Dissertation Grants program. The program supports PhD students at North American universities who are underrepresented in the field of computing and pursuing research aligned to the research areas carried out by Microsoft Research. Through the program, recipients will receive funding of up to $25,000 for the 2020-21 academic year as well as an invitation to the PhD Summit, a two-day workshop in the fall held at one of Microsoft Research's labs where fellows will meet with Microsoft researchers and other top students to share their research. Fellows must be aligned in research areas as defined by Microsoft Research, which include artificial intelligence; audio and acoustics; computer vision; graphics and multimedia; human-computer interaction; human language technologies; search and information retrieval; data platforms and analytics; hardware and devices; programming languages and software engineering; security, privacy, and cryptography; systems and networking; algorithms; mathematics; ecology and environment; economics; medical, health, and genomics; social sciences; and technology for emerging markets.

The Scalable Parallelism in the Extreme (SPX) program aims to support research addressing the challenges of increasing performance in this modern era of parallel computing. This will require a collaborative effort among researchers in multiple areas, from services and applications down to micro-architecture. Objectives, including supporting foundational research toward architecture and software approaches that drive performance improvements in the post-Moore’s Law era; development and deployment of programmable, scalable, and reusable platforms in the national HPC and scientific cyberinfrastructure ecosystem; increased coherence of data analytic computing and modeling and simulation; and capable extreme-scale computing.

The Formal Methods in the Field (FMitF) program aims to bring together researchers in formal methods with researchers in other areas of computer and information science and engineering to jointly develop rigorous and reproducible methodologies for designing and implementing correct-by-construction systems and applications with provable guarantees. FMitF encourages close collaboration between two groups of researchers. The first group consists of researchers in the area of formal methods, which, for the purposes of this solicitation, is broadly defined as principled approaches based on mathematics and logic, including modeling, specification, design, program analysis, verification, synthesis, and programming language-based approaches. The second group consists of researchers in the "field," which, for the purposes of this solicitation, is defined as a subset of areas within computer and information science and engineering that currently do not benefit from having established communities already developing and applying formal methods in their research. This solicitation limits the field to the following areas that stand to directly benefit from a grounding in formal methods: computer networks, cyber-human systems, distributed /operating systems, embedded systems, and machine learning. Other field(s) may emerge as priority areas for the program in future years, subject to the availability of funds.

CISE's Division of Computer and Network Systems (CNS) supports research and education projects that develop new knowledge in two core programs: -Computer Systems Research (CSR) program; -Networking Technology and Systems (NeTS) program.

The High Performance Computing for Manufacturing ("HPC4Mfg") Program seeks qualified industry partners to participate in short-term, collaborative projects. Through support from the Advanced Manufacturing Office of the Department of Energy's (DOE) Office of Energy Efficiency and Renewable Energy (EERE), selected projects partners will be granted access to High Performance Computing (HPC) facilities and experienced staff at DOE National Laboratories. The collaborations will address key challenges in U.S. manufacturing by apply modeling, simulation, and data analysis to the manufacturing of materials with the intent to improve energy efficiency, increase productivity, reduce cycle time, enable next-generation technologies, test control system algorithms, investigate intensified processes, lower energy cost, and accelerate innovation. Projects must demonstrate potential impact to energy efficiency in manufacturing and/or the development of new clean energy technologies with a potential for broad national impact. Eligibility for this Program is limited to entities that manufacture products in the U.S. for commercial applications and the organizations that support them. Selected projects will be awarded up to $300,000 to support compute cycles and work performed by the national lab partners. The industry partner must provide a participant contribution of at least 20% of the DOE funding for the project.

The broad spectrum of research supported in CMMT includes first-principles, quantum many-body, statistical mechanics, classical and quantum Monte Carlo, and molecular dynamics methods. Computational efforts span from workstations to advanced and high-performance scientific computing. Emphasis is on approaches that begin at the smallest appropriate length scale, such as electronic, atomic, molecular, nano-, micro-, and mesoscale, required to yield fundamental insight into material properties, processes, and behavior, to predict new materials and states of matter, and to reveal new materials-related phenomena. Approaches that span multiple scales of length and time may be required to advance fundamental understanding of materials properties and phenomena, particularly for polymeric materials and soft matter. Examples of areas of recent interest appear in the program description. CMMT encourages potentially transformative theoretical and computational materials research, which includes but is not limited to: i) developing materials-specific prediction and advancing understanding of properties, phenomena, and emergent states of matter associated with either hard or soft materials, ii) developing and exploring new paradigms including cyber- and data-enabled approaches to advance fundamental understanding of materials and materials related phenomena, oriii) fostering research at interfaces among subdisciplines represented in the Division of Materials Research

a comprehensive and collaborative approach must be undertaken to maximize the potential for successfully identifying and implementing revolutionary solutions to break through the bottleneck of energy-constrained computational performance. Programmers, system architects, circuit designers, chip processing engineers, material scientists, and computational chemists must all explore these new paths together to co-design an optimal solution path.

The second major report of the President's Advanced Manufacturing Partnership (AMP), Accelerating U.S. Advanced Manufacturing, provides high-level recommendations for U.S. advanced manufacturing strategies, with emphasis on three manufacturing technology areas (MTAs): Advanced sensing, controls and platforms for manufacturing; Visualization, information, and digital manufacturing; and Advanced materials manufacturing. Detailed information on the recommendations for each MTA can be found in Annexes 1 through 10 of the AMP's report. Also of note are reports from the European Commission1 and industry2,3, which provide descriptions of advances in manufacturing, including leveraging of emerging information technologies. Consistent with the AMP's report, the evolution of manufacturing technology has arguably been most importantly dependent on the application of increasingly powerful and low-cost computation in manufacturing enterprises. NSF researchers are, and have been, actively engaged in pursuing fundamental advances in design theory and translation; real-time sensing and perception; data capture, representation, and analytics; machine architectures and human interfaces; materials and process modeling; scheduling and control algorithms; fault detection, analysis, and correction; and coordination of decisions across distributed production facilities that have led to the globally-connected, low-cost, flexible and resilient supply chains, computer-integrated factories, and digital design systems of the modern world. There is a general consensus about the increasingly important role of powerful, low-cost computation in manufacturing.