Filters








541,315 Hits in 4.3 sec

Global Development via Local Observational Construction Steps [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2002 Lecture Notes in Computer Science  
The way that refinement of individual "local" components of a specification relates to development of a "global" system from a specification of requirements is explored.  ...  Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems.  ...  parametrized units, acting as constructions providing some local construction steps to be used in a more global context).  ... 
doi:10.1007/3-540-45687-2_1 fatcat:bqny2fudgvdlznvtljey55vnui

Recursive Observer Design, Homogeneous Approximation, and Nonsmooth Output Feedback Stabilization of Nonlinear Systems

C. Qian, W. Lin
2006 IEEE Transactions on Automatic Control  
A new ingredient of the proposed output feedback control scheme is the introduction of a recursive observer design algorithm, making it possible to construct a reduced-order observer step-by-step, in a  ...  We present a nonsmooth output feedback framework for local and/or global stabilization of a class of nonlinear systems that are not smoothly stabilizable nor uniformly observable.  ...  We then construct step-by-step, a nonsmooth reduced-order observer with a set of constant gains that will be determined in the last step of design.  ... 
doi:10.1109/tac.2006.880955 fatcat:2meqpmkyvvblhdoxhg3bud2l7m

Performance evaluation of a newly developed three-dimensional model-based global-to-local registration in prostate cancer

2019 Journal of Radiation Research  
We evaluated the performance of a newly developed three-dimensional (3D) model-based global-to-local registration of multiple organs, by comparing it with a 3D model-based global registration in the prostate  ...  Our registration proceeded sequentially, i.e. global registration including affine and piece-wise affine transformation followed by local registration.  ...  To overcome the limitations of previous methods, we have developed a 3D model-based global-to-local registration of multiple organs.  ... 
doi:10.1093/jrr/rrz031 pmid:31135904 pmcid:PMC6805968 fatcat:iqhm5jsx7vgrfp63iylu45xi2m

Global Technology Leadership: A Case for Innovative Education Praxis

Erin E. Bowen, Gary R. Bertoline, Ragu Athinarayanan, Robert F. Cox, Kenneth A. Burbank, Donald R. Buskirk, Hatice Küçükönal
2013 Procedia - Social and Behavioral Sciences  
The authors conduct qualitative research of four key concepts around globalization and innovation Via a process of on-site visits for observation and face-to-face interviews with both academic and industry  ...  The development of a scholarly model of technology leadership necessitates a global component for the modern technology and technology education organization.  ...  may provide additional information and development of the global technology leadership construct.  ... 
doi:10.1016/j.sbspro.2013.04.019 fatcat:vbhdbtfgqzggjdruuxrn3lmaea

Revisiting Major Discoveries in Linguistic Geometry with Mosaic Reasoning

Boris Stilman, May Aldossary
2015 Procedia Computer Science  
It was developed via a thought experiment that used "the principle of timeliness" provided by the Observation stream.  ...  Based on the above analysis, it is clear that the time distribution rule is recursive which requires careful step by step construction.  ... 
doi:10.1016/j.procs.2015.02.147 fatcat:llb2hc6c6zejvcobi7ztirvnpm

Scalable Fiducial Tag Localization on a 3D Prior Map via Graph-Theoretic Global Tag-Map Registration [article]

Kenji Koide, Shuji Oishi, Masashi Yokozuka, Atsuhiko Banno
2022 arXiv   pre-print
The proposed method comprises three steps: 1) visual odometry-based landmark SLAM for estimating the relative poses between fiducial tags, 2) geometrical matching-based global tag-map registration via  ...  This paper presents an accurate and scalable method for fiducial tag localization on a 3D prior environmental map.  ...  method, we aim to make it easy to develop a system based on robust vision-based localization using precisely localized tags on a precise 3D environmental map. it easy to build a system based on vision-based  ... 
arXiv:2207.11942v1 fatcat:vj4f67nnlrcyrmr455qm5thycu

mfapy: An open-source Python package for 13C-based metabolic flux analysis

Fumio Matsuda, Kohsuke Maeda, Takeo Taniguchi, Yuya Kondo, Futa Yatabe, Nobuyuki Okahashi, Hiroshi Shimizu
2021 Metabolic Engineering Communications  
each step in the data analysis procedures of the isotope labeling experiments.  ...  In 13 C-MFA, a metabolic flux distribution that explains the observed isotope labeling data was computationally estimated using a non-linear optimization method.  ...  Yoshihiro Toya and all laboratory members for their assistance with software development. This work was supported in part by Grants-in-Aid for Scientific Research (grant number 17H06303).  ... 
doi:10.1016/j.mec.2021.e00177 fatcat:pcyv24etqfdxzor7qdbwowlthi

Toward Component-Oriented Formal Software Development: An Algebraic Approach [chapter]

Michel Bidoit, Donald Sannella, Andrzej Tarlecki
2004 Lecture Notes in Computer Science  
Component based design and development of software is one of the most challenging issues in software engineering.  ...  In particular we take into account an observational interpretation of requirements specifications and study its impact on the definition of the semantics of specifications of (parametrized) components.  ...  include parametrized components, acting as constructions providing local construction steps to be used in a more global context).  ... 
doi:10.1007/978-3-540-24626-8_5 fatcat:qstj66wjgbhnfmbxy7aepayglq

Normal-Driven Spherical Shape Analogies [article]

Hsueh-Ti Derek Liu, Alec Jacobson
2021 arXiv   pre-print
One can plug-and-play different target styles by providing an exemplar shape or an energy-based style description (e.g., developable surfaces).  ...  The key observation is that the surface normal is an effective instrument to capture different geometric styles.  ...  We minimize this energy via the local/global strategy [SA07] , where the local step involves solving a set of small Orthogonal Procrustes problems and the global step amounts to a linear solve.  ... 
arXiv:2104.11993v2 fatcat:mfm2azazg5d2dhswuctksgyt3q

Revisiting Snapshot Algorithms by Refinement-Based Techniques

Manamiary Bruno Andriamiarina, Dominique Mery, Neeraj Kumar Singh
2012 2012 13th International Conference on Parallel and Distributed Computing, Applications and Technologies  
The formalization process is based on a modeling language Event B, which supports a refinement-based incremental development using RODIN platform.  ...  Computing an Asynchronous Snapshot The ASYNC-PROCESS model (see Fig.3 ) refines the OBSERVATION model, and presents the asynchronous construction of a correct snapshot (pcut) step-by-step.  ...  Moreover, we propose an architecture based on the correction-by-construction paradigm, for conceiving algorithms dedicated to observation of global states of distributed systems.  ... 
doi:10.1109/pdcat.2012.119 dblp:conf/pdcat/AndriamiarinaMS12 fatcat:33vveeaxdjgizbbi32wqbjunq4

Frequency-emulated uniform cellular automata

Hürevren KILIÇ
2014 Turkish Journal of Electrical Engineering and Computer Sciences  
An algorithm that generates f-emulated uniform CA sets is developed and an upper bound for its output size is given.  ...  The notion of a frequency-emulated (f-emulated) uniform cellular automata (CA) that enables the behavior emulation of some elementary CA via memory usage is introduced.  ...  Starting with specific local behavior in mind and to observe its long-term global impact (forward problem) and identifying local transitions that support some given global behavior (inverse problem) are  ... 
doi:10.3906/elk-1211-26 fatcat:udmhige62zaq3e4xjibdrklkaa

Multi-Robot Active Mapping via Neural Bipartite Graph Matching [article]

Kai Ye, Siyan Dong, Qingnan Fan, He Wang, Li Yi, Fei Xia, Jue Wang, Baoquan Chen
2022 arXiv   pre-print
We study the problem of multi-robot active mapping, which aims for complete scene map construction in minimum time steps.  ...  the goal position, but does not guarantee the complete map construction.  ...  Mapping Module Provided the depth observations and the corresponding camera poses from all the robots, the goal of the mapping module is to construct the global map.  ... 
arXiv:2203.16319v2 fatcat:rzwwqe72qndf7nmxc2p4slzl3a

Hierarchical Phenotyping and Graph Modeling of Spatial Architecture in Lymphoid Neoplasms [article]

Pingjun Chen, Muhammad Aminu, Siba El Hussein, Joseph D. Khoury, Jia Wu
2021 arXiv   pre-print
This study, to the best of our knowledge, is among the first to hybridize local and global graph methods to profile orchestration and interaction of cellular components.  ...  Local cell graphs or supercells were built for each image by considering the individual cell's geospatial location and classes.  ...  (A) Local Cell Graph Construction (B) Supercell Phenotyping (C) Supercell Global Graph via the Delaunay triangulation Global Supercell Graph Construction and Feature Extraction We build global graphs  ... 
arXiv:2106.16174v2 fatcat:5dm65nonxnaojmwrzinzxdntem

Robust global consensus tracking of linear multi-agent systems with input saturation via scheduled low-and-high gain feedback

Hongjun Chu, Jianliang Chen, Qinglai Wei, Weidong Zhang
2019 IET Control Theory & Applications  
Via developing a scheduled low-and-high gain design technique, the state feedback protocol is proposed, under which global consensus tracking and disturbance rejection for such systems can be achieved  ...  This result is further extended to the case of the reduced-order observer-based protocol design, with the help of the special coordinate basis approach.  ...  Step 3. The scheduled low gain feedback law is constructed u L, i = − B T P(R(t))ξ i . (10) Step 4.  ... 
doi:10.1049/iet-cta.2018.5347 fatcat:vilxh5fgoze2tk4ctqn54aixqi

Locally constructed algorithms for distributed computations in ad-hoc networks

Dzulkifli S. Scherber, Haralabos C. Papadopoulos
2004 Proceedings of the third international symposium on Information processing in sensor networks - IPSN'04  
The algorithms are locally constructed at each node by exploiting only locally available and macroscopic information about the network topology.  ...  The distributed algorithms we develop are linear dynamical systems that generate sequences of approximations to the desired computation.  ...  The locally constructed algorithms we develop for performing global computations have strong connections to large systems of weakly coupled nonlinear oscillators.  ... 
doi:10.1145/984622.984625 dblp:conf/ipsn/ScherberP04 fatcat:wb7hgurn7zfgrknlve5erz2adu
« Previous Showing results 1 — 15 out of 541,315 results