16 papers · ranked by Valyu relevance
Rajesh Kumar Datta
Four terminal switching network is an alternative structure to realize the logic functions in electronic circuit modeling. This network can be used to implement a Boolean function with less number of switches than the two terminal based CMOS switch. Each switch of the network is driven by a Boolean literal. Any switch…
Chirag Jain, Sravanthi Upadrasta Naga Sita, Avinash Sharma, Bapi Raju Surampudi
The intricate link between brain functional connectivity (FC) and structural connectivity (SC) is explored through models performing diffusion on SC to derive FC, using varied methodologies from single to multiple graph diffusion kernels. However, existing studies have not correlated diffusion scales with specific…
Ross D. Markello, Justine Y. Hansen, Zhen-Qi Liu, Vincent Bazinet + 9 more
Imaging technologies are increasingly used to generate high-resolution reference maps of brain structure and function. Modern scientific discovery relies on making comparisons between new maps (e.g. task activations, group structural differences) and these reference maps. Although recent data sharing initiatives have…
Chong Jiang, Wu Zhao, Miao Yu, Kai Zhang + 1 more
With the continued development of natural gas extraction technologies, the accurate determination of downhole temperature and pressure has become increasingly important. It is crucial for the optimization of gas well production and an important measure to prevent accidents. However, existing logging instruments have a…
Qiujian Xu, Meihui Li, Guoqiang Chen, Xiubo Ren + 10 more
'Junrui Li' 'Xinran Yuan' 'Siqi Liu' 'Miaomiao Yang' 'Mufan Chen' 'Bo Wang' 'Peng Zhang' 'Huiguo Ma' 'Jin Huang'] This study designs and develops a wearable exoskeleton piano assistance system for individuals recovering from neurological injuries, aiming to help users regain the ability to perform complex tasks such as…
Muwei Li, Kurt G Schilling, Zhaohua Ding, John C Gore
Understanding the intricate interplay between gray matter (GM) and white matter (WM) is crucial for deciphering the complex activities of the brain. While diffusion tensor imaging (DTI) has advanced the mapping of these structural pathways, the relationship between structural connectivity (SC) and functional…
Judith Schmidt, Lilli Wollermann, Stephan Abele, Romy Müller + 1 more
Solving problems in a technical system usually requires people to understand its functioning on different levels of abstraction (i.e., goals, functions, components, characteristics) that are connected via means-ends links. We combined this abstraction hierarchy with concept mapping to assess people’s understanding of…
Weixin Zhang, Cristina C. David, Meng Wang
Programming languages are embracing both functional and object-oriented paradigms. A key difference between the two paradigms is the way of achieving data abstraction. That is, how to organize data with associated operations. There are important tradeoffs between functional and object-oriented decomposition in terms of…
Philipp Rosenthal, Niels Demke, Frank Mantwill, Oliver Niggemann
The presented approach defines the decomposition problem in terms of a planning problem—a well established field in Artificial Intelligence. For the planning problem, logic-based solvers can be used to find solutions that compute a useful function structure for the design process. Well-known function libraries from…
Ruopeng Wei, Yubin Liu, Huijuan Dong, Yanhe Zhu + 4 more
'Ankit A. Ravankar' 'Jose Victorio Salazar Luces' 'Abhijeet Ravankar'] The self-reconfigurable modular robotic system is a class of robots that can alter its configuration by rearranging the connectivity of their component modular units. The reconfiguration deformation planning problem is to find a sequence of…
Carlos Schmidt, Friedrich Volz, Ljiljana Stojanovic, Gerhard Sutschet + 1 more
'Gerhard Sutschet' 'Yi Qin'] Although standards and specifications for digital twins aim to create interoperability in Industry 4.0, each standard has its own goals, focuses and representations for digital twins. This paper examines an approach to increasing interoperability between established digital twin…
Duncan Bossion, Sutirtha Chowdhury, Pengfei Huo
We present the rigorous theoretical framework of the generalized spin mapping representation for non- adiabatic dynamics. This formalism is based on the generators of the su(N) Lie algebra to represent N discrete electronic states, thus preserving the size of the original Hilbert space in the state representation. The…
Takayuki Hoshino, Suguru Kanoga, Atsushi Aoyama
Owing to pronounced inter-individual variability in biological signals, transfer learning has emerged as a widely used strategy to reduce calibration requirements for new users. Among the various approaches, style transfer mapping (STM) is distinguished by its ability to align the data distribution of target users…
Miguel Levezinho, Stefan Kapferer, Olaf Zimmermann, António Rito Silva
Based on Entity Accesses Authors: ['Miguel Levezinho' 'Stefan Kapferer' 'Olaf Zimmermann' 'António Rito Silva'] Microservice architectures have gained popularity as one of the preferred architectural approaches to develop large-scale systems, replacing the monolith architecture approach. Similarly, strategic…
J. Almeida, S. Kristensen, Z. Tal, A. Fracasso
Understanding how object information is neurally organized is fundamental to unravel object recognition^1–4^. The best-known neural organizational principle of information is topographical mapping of specific dimensions. Such maps have been shown mainly for sensorimotor information within sensorimotor cortices (e.g.…
Ayush Pandey, Inigo Incer, Alberto Sangiovanni-Vincentelli, Richard M. Murray
We provide a new perspective on using formal methods to model specifications and synthesize implementations for the design of biological circuits. In synthetic biology, design objectives are rarely described formally. We present an assume-guarantee contract framework to describe biological circuit design objectives as…