Search results

Autonomous robots must operate reliably and predictably in uncertain environ-ments. Throughout the robot software development cycle, robot operators and de-velopers must be able to specify their safety and functional requirements reliablyand explicitly. To this end, we propose to use Domain-Specific Languages (DSLs)to address their needs. To show the applicability and effectiveness of this approac

We propose a method for sensor array self-localization using a set of sources at unknown locations. The sources produce signals whose times of arrival are registered at the sensors. We look at the general case where neither the emission times of the sources nor the reference time frames of the receivers are known. Unlike previous work, our method directly recovers the array geometry, instead of fi

The dramatic improvements in Boolean satisfiability (SAT) solving since the turn of the millennium have made it possible to leverage conflict-driven clause learning (CDCL) solvers for many combinatorial problems in academia and industry, and the use of proof logging has played a crucial role in increasing the confidence that the results these solvers produce are correct. However, the fact that SAT

Salts affect the solvation thermodynamics of molecules of all sizes; the Hofmeister series is a prime example in which different ions lead to salting-in or salting-out of aqueous proteins. Early work of Tanford led to the discovery that the solvation of molecular surface motifs is proportional to the solvent accessible surface area (SASA), and later studies have shown that the proportionality cons

We study a controlled evolutionary dynamics that models the spread of a novel state in a network where the exogenous control aims to quickly spread the novel state. We estimate the performance of the system by analytically establishing upper and lower bounds on the expected time needed for the novel state to replace the original one. Such bounds are expressed as functions of the control policy ado

Atmospheric new particle formation (NPF) is an important phenomenon in terms of global particle number concentrations. Here we investigated the frequency of NPF, formation rates of 10 nm particles, and growth rates in the size range of 10–25 nm using at least 1 year of aerosol number size-distribution observations at 36 different locations around the world. The majo

The Theory of Characteristic Modes has been shown capable of facilitating the development of many high-quality antennas through providing the characteristic modes (CMs) inherent to a structure. The CMs will change if the structure is altered; this property has been used to adapt terminal antennas, enabling good MIMO performance in compact structures. Previously these designs focused on altering th

The operating mechanisms of a planar patch antenna with a parasitic strip is analyzed in this paper. The patch antenna uses a thin parasitic strip to realize beam deflection, which facilitates switchable beam. The beam deflection effect of the parasitic strip can be explained by using characteristic mode analysis (CMA). Specifically, the parasitic strip introduces a new mode that interacts with a

This two-part paper investigates the application of artificial intelligence (AI) and in particular machine learning (ML) to the study of wireless propagation channels. In Part I, we introduced AI and ML as well as provided a comprehensive survey on ML enabled channel characterization and antenna-channel optimization, and in this part (Part II) we review state-of-the-art literature on scenario iden

To provide higher data rates, as well as better coverage, cost efficiency, security, adaptability, and scalability, the 5G and beyond 5G networks are developed with various artificial intelligence techniques. In this two-part paper, we investigatethe application of artificial intelligence (AI) and in particular machine learning (ML) to the study of wireless propagation channels. It firstly provides a

Processes controlling environmental change in the subarctic Pacific Ocean on millennial to orbital timescales are not well understood. Here we use a 230-kyr sedimentary record from the northwest Pacific Ocean to assess the response of late Pleistocene sediment dynamics to orbital forcing. Combining a source-to-sink perspective based on sedimentological records with climate model reanalysis, we rev

Intrinsically disordered proteins are involved in many biological processes such as signaling, regulation, and recognition. A common strategy to regulate their function is through phosphorylation, as it can induce changes in conformation, dynamics, and interactions with binding partners. Although phosphorylated intrinsically disordered proteins have received increased attention in recent years, a

Autonomous vehicle is being developed for widespread deployment. Its reliability and safety are critically dependent on advanced wireless technologies, e.g., vehicle-to-everything (V2X) communication. The frontend of a V2X system needs an antenna module that enables the vehicle to reliably connect to all other networks. Designing V2X antenna is challenging due to the complex in-vehicle environment

In this paper, we present a systematic approach to design a compact dual-mode monopole-like patch antenna using characteristic mode analysis (CMA). The modal analysis of a slotted circular patch structure incorporating a new shorting pin loading technique is presented. To achieve a compact monopole-like antenna with wideband operation, it is demonstrated that the first two significant modes with m

Re-entrant condensation results in the formation of a condensed protein regime between two critical ion concentrations. The process is driven by neutralization and inversion of the protein charge by oppositely charged ions. Re-entrant condensation of cationic proteins by the polyvalent anions, pyrophosphate and tripolyphosphate, has previously been observed, but not for citrate, which has similar

This paper presents a structured optimization framework for reducing the computational complexity of LDPC decoders. Subject to specified performance constraints and adaptive to environment conditions, the proposed framework leverages the adjustable performance-complexity tradeoffs of the decoder to deliver satisfying performance with minimum computational complexity. More specifically, two constra

In recent years, the screen-to-body ratio of mobile handsets has been increasing. Today, the screen nearly fills up the entire front side. Conventionally, the screen is mainly seen as a metallic object that adversely affects antenna performance. In this paper, the large screen is used for the first time to facilitate an additional uncorrelated MIMO port in a tri-port design, for several LTE bands

The Protein Ensemble Database (PED) (https://proteinensemble.org), which holds structural ensembles of intrinsically disordered proteins (IDPs), has been significantly updated and upgraded since its last release in 2016. The new version, PED 4.0, has been completely redesigned and reimplemented with cutting-edge technology and now holds about six times more data (162 versus 24 entries and 242 vers