Disciplines / Research questions
Information science
54 research topics · 169 questions
High-performance underwater sonar1 questions
Terahertz pulse wavefront shaping3 questions
Operating limits of flying-focus two-color terahertz generation: high drive power, focal ranges beyond the dephasing length, and scaled drivers
Scaling limits of field-level terahertz spatiotemporal wave synthesis in random scattering media
Full nonlinear-response tensor, microscopic efficiency mechanisms, and collective-enhancement limits of split-ring-resonator nonlinear metasurface terahertz emitters
Terahertz biomolecular spectroscopy—a window into the mysteries of life2 questions
Problems of improving photon energy utilization and conversion efficiency of solar cells3 questions
Valley-matched carrier extraction for a practical hot-carrier (valley-photovoltaic) solar cell
Completing the parameter map of the De Vos–Szymańska–Badescu down-conversion solar-cell model: non-radiative recombination, concentration, band-gap ordering, and non-ideal anti-reflection coatings
Practical carrier multiplication for photovoltaics: can materials engineering make multiple electron-hole pairs per photon outcompete phonon cooling and Auger losses?
Fundamental problems in network science4 questions
Existence of equilibrium games and resistance to cascading attacks in networks
Analytical theory of the stretched-exponential coverage law for multiple random walkers on scale-free networks
Statistical and Computational Limits of Single-Community Search with Side Information in Stochastic Block Models
Analytic tractability of generalized hypergeometric network ensembles: closed-form or scalable moments and null distributions for the multivariate Wallenius adjacency distribution under arbitrary dyadic propensities
Optimization problems of network architecture3 questions
Online, Multi-Layer, and Multi-Operator Extensions of the HSDRAN Hierarchical Software-Defined RAN Distributed Optimization Framework
Submodularity of the placement value function in multi-dimensional VNF placement and resource allocation (multi-VPRA)
Certifiable action-space compression and surrogate-guided search guarantees for deep reinforcement learning network topology optimization
Sparse representation problems in microwave imaging1 questions
The nanoscale era of microelectronics7 questions
Stable and reliable negative-capacitance gating in sub-10 nm ferroelectric Si junctionless transistors: robustness, process window, endurance, and model generalization
Scaling limits and generality of asymmetrical metal-contact scaling in MoS2 field-effect transistors
Generalizing the electrostatic scale-length theory of two-dimensional field-effect transistors beyond the subthreshold zero-charge limit
Robustness and experimental observability of giant resonant spin transfer torque in atomically thin magnetic bilayer tunnel junctions
Memristive or capacitive? The physical origin of d.c. current spikes in sol-gel TiO₂ memristors and the missing quantitative memristor–capacitance device model
Scaling analog on-chip unsupervised learning with multi-state memristive synapses to large, practical neuromorphic arrays (Serb et al. 2016 scaling agenda)
Predictive modeling of resistance, capacitance, and delay in nanoscale on-chip interconnects (including alternative conductors) for routing and architecture design
Precision control issues in micro-nano precision measuring instruments1 questions
Control issues of micro-air vehicles5 questions
Onboard power, sensing, and computation autonomy for sustained closed-loop flight of insect-scale flapping-wing microrobots
Real-time full-envelope model predictive control of a highly flexible micro air vehicle: lateral-directional maneuverability versus passive gust rejection
Stability, robustness, and systematic parameter selection for the intelligent S-plane controller for micro unmanned aerial vehicles
Closed-Loop Controlled and Untethered Flight of Electromagnetically Actuated Insect-Scale Flapping-Wing Micro Robots
Extending hybrid quaternion attitude control of an underactuated flapping-wing aerial vehicle to practical autonomy: aggressive regimes, onboard sensing, a priori tuning, energy benchmarking, and tailless configurations
Future network switching mechanisms2 questions
The safe operational envelope for bufferless optical packet switching versus electronic packet switching in delay-sensitive 5G networks
Deployment-grade assessment of Segment Switching in single-buffer AWGR photonic HPC networks: device-level validation, robustness at scale, control-plane implementation, and buffering energy/cost trade-offs
Dilute magnetic semiconductors—physical mechanisms of intrinsic magnetism?4 questions
Microscopic mechanism of intrinsic room-temperature ferromagnetism in individual Co-doped ZnO dilute magnetic semiconductor nanostructures
Apparent Curie temperature and nanoscale phase coexistence at the carrier-localization boundary of (Ga,Mn)As
Origin and quantitative description of high-temperature intrinsic ferromagnetism in heavily Fe-doped GaAs layers
Origin of room-temperature ferromagnetism in Cr-doped CdMnCrTe: mechanism and Cr charge states
High-maneuverability autonomous flight control of rotorcraft robots2 questions
Coupling learned aerodynamic dynamics with saturation-limited flight control: cascaded attitude-loop and actuation-constrained MPC interaction and extrapolation limits for Neural-Fly-style agile flight in strong winds
Robustness margins for neural-augmented agile flight control: quantifying admissible control-dependent model discrepancy under Lipschitz-constrained neural feedback
In vivo three-dimensional real-time detection and characterization of living cells1 questions
Automatic discovery of knowledge5 questions
Automatic Verification of Autonomous Scientific Discovery: Independent Re-Execution and Validation of AI-Generated Experimental Claims at Scale
Open-domain automated hypothesis discovery in the natural sciences: jointly achieving novelty, validity, and reliable model-generated feedback beyond the TOMATO/MOOSE social-science setting
Tractable faithful realization of the information-theoretic min–max objective in principle-guided multi-agent scientific discovery (the PiFlow objective–algorithm gap)
A sound validation methodology for literature-based discovery: separating genuine new knowledge from already-public knowledge
Completing the derivable-discovery loop: automated discovery of scientific laws from data under incomplete background theory, with abductive axiom repair, automated axiom acquisition, scalable reasoning, and integrated optimal experimental design (AI-Descartes open problems)
Automatic programming: how to make computers automatically generate software from requirement specifications2 questions
Modular system synthesis beyond bounded soundness: unbounded mechanically checked correctness, scalability, and flexible orchestration of synthesized implementations and implementation-agnostic specifications (the MOSS open problems)
Witness-producing model-based projections for SMT synthesis with uncomputable symbols beyond EUF and linear arithmetic
Natural language processing8 questions
A sharp criterion for criticality in probabilistic context-free grammars: which grammars produce power-law mutual-information decay?
Robust anaphora and coreference resolution within logical-form representations in neural semantic parsing for task-oriented dialogue
Correct translation of idiomatic and non-compositional expressions by neural machine translation: targeted resources and mechanisms to close the figurative-language gap
Faithful and scalable process verification of full chain-of-thought reasoning in domains without deterministic verifiers
Can think tokens bridge the complexity gap? A rigorous complexity-theoretic account of reasoning models' ability to exceed per-inference transformer computation
Sufficiency of standard pretraining objectives for genuine, generalizable logical reasoning in large language models
Does tag-based structured-reasoning training help or harm non-reasoning tasks? Generality of MAX-Flow and LCS reward fine-tuning beyond reasoning domains
Sound Extension of the Predicate-Enumeration-Aggregation (PEA) Framework Beyond Finite Domains
The mystery of Fermat's principle5 questions
Extending Fermat's principle of least time for ray refraction at uniformly moving interfaces: dispersive media, general incidence geometry, and interfaces between two uniformly moving media
Fermat-type stationarity of closed light curves: extending the circular null-path/travel-time correspondence beyond stationary axisymmetric black-hole spacetimes
Robustness of least-time dominance for the propagation amplitude of a finite-mass spin-0 particle at an interface between two media
Equivalence of Fermat's principle and Snell's law in heterogeneous lossy anisotropic media
Cumulative growth and observability of QED vacuum-polarization corrections to light propagation in curved spacetime (the pile-up problem of quantum gravitational optics)